Input: Sentence 1: All of us but the Navajo, that is. Sentence 2: All of us are included without any exceptions.
Output: 

 yes