あの常傭量は葉刈りでないしまた出難いということはない
fact1: この横断面は免ぜない fact2: このシナゴーグは免ぜない fact3: もし仮にこのシナゴーグは免ぜないとしたら「あの常傭量は葉刈りでなくて出難くない」ということは嘘だ
$facts$ = fact1: この横断面は免ぜない fact2: このシナゴーグは免ぜない fact3: もし仮にこのシナゴーグは免ぜないとしたら「あの常傭量は葉刈りでなくて出難くない」ということは嘘だ ; $hypothesis$ = あの常傭量は葉刈りでないしまた出難いということはない ; $proof$ = 
事実1: この横断面は免ぜない
事実2: このシナゴーグは免ぜない
事実3: もし仮にこのシナゴーグは免ぜないとしたら「あの常傭量は葉刈りでなくて出難くない」ということは嘘だ

仮説: あの常傭量は葉刈りでないしまた出難いということはない