この分隊士は呆れ果てない
fact1: 「「及び難いということはないけど褒める」ということは成り立たない」ものはある fact2: 「「及び難いということはない一方で褒める」ということは偽である」ものはあるなら「この分隊士は呆れ果てない」ということは正しい
$facts$ = fact1: 「「及び難いということはないけど褒める」ということは成り立たない」ものはある fact2: 「「及び難いということはない一方で褒める」ということは偽である」ものはあるなら「この分隊士は呆れ果てない」ということは正しい ; $hypothesis$ = この分隊士は呆れ果てない ; $proof$ = 
事実1: 「「及び難いということはないけど褒める」ということは成り立たない」ものはある
事実2: 「「及び難いということはない一方で褒める」ということは偽である」ものはあるなら「この分隊士は呆れ果てない」ということは正しい

仮説: この分隊士は呆れ果てない