このかますは書き下さない
fact1: 「あの公会は騙し取らないかあるいは堅苦しくないかもしくはどちらもである」ということは成り立たないとすればこのかますは書き下す fact2: 「あの公会は騙し取らないかもしくはそれは堅苦しくないかあるいはどちらもだ」ということは成り立たない
$facts$ = fact1: 「あの公会は騙し取らないかあるいは堅苦しくないかもしくはどちらもである」ということは成り立たないとすればこのかますは書き下す fact2: 「あの公会は騙し取らないかもしくはそれは堅苦しくないかあるいはどちらもだ」ということは成り立たない ; $hypothesis$ = このかますは書き下さない ; $proof$ = 
事実1: 「あの公会は騙し取らないかあるいは堅苦しくないかもしくはどちらもである」ということは成り立たないとすればこのかますは書き下す
事実2: 「あの公会は騙し取らないかもしくはそれは堅苦しくないかあるいはどちらもだ」ということは成り立たない

仮説: このかますは書き下さない