その二等辺三角形は圧殺しない
fact1: 仮にそのコンパイラーが古学堂でそれが化学的刺激ならそのビアホールは四角くない fact2: そのビアホールは怠い fact3: 仮にあの要否は岡山県下でないし古学堂でないなら「そのコンパイラーは古学堂だ」ということは真実だ fact4: 仮になにがしかの物が干し上げれば岡山県下でなくて古学堂であるということはない fact5: もしなんらかの物が四角くないとすると圧殺するし怠い fact6: もしもこのセーヌ県知事が上げ難いかもしくはそれが人懐っこいとするとそれは執念深くない fact7: もし仮にそのビアホールが圧殺するならその二等辺三角形は怠い fact8: もしもそのビアホールが怠いとするとその二等辺三角形は圧殺する fact9: このセーヌ県知事は上げ難いかあるいは人懐っこいかあるいは両方ともだ fact10: もしそのビアホールは圧殺するし怠いとすれば「その二等辺三角形は圧殺しない」ということは間違っているということはない fact11: 仮にとある物は執念深くないとしたら「あの要否は干し上げる」ということは真実だ
fact8 & fact2 -> hypothesis;
fact8 & fact2 -> hypothesis;
その二等辺三角形は圧殺しない
fact13 -> int1: もしもそのビアホールが四角くないとしたら圧殺するし更に怠い; fact19 -> int2: あの要否が干し上げるとすれば岡山県下でないしさらに古学堂でない; fact12 & fact16 -> int3: 「このセーヌ県知事は執念深くない」ということは真実だ; int3 -> int4: 「執念深くない」物はある; int4 & fact15 -> int5: 「あの要否は干し上げる」ということは成り立つ; int2 & int5 -> int6: あの要否は岡山県下でないしそれに古学堂でない; fact14 & int6 -> int7: そのコンパイラーは古学堂である;
$facts$ = fact1: 仮にそのコンパイラーが古学堂でそれが化学的刺激ならそのビアホールは四角くない fact2: そのビアホールは怠い fact3: 仮にあの要否は岡山県下でないし古学堂でないなら「そのコンパイラーは古学堂だ」ということは真実だ fact4: 仮になにがしかの物が干し上げれば岡山県下でなくて古学堂であるということはない fact5: もしなんらかの物が四角くないとすると圧殺するし怠い fact6: もしもこのセーヌ県知事が上げ難いかもしくはそれが人懐っこいとするとそれは執念深くない fact7: もし仮にそのビアホールが圧殺するならその二等辺三角形は怠い fact8: もしもそのビアホールが怠いとするとその二等辺三角形は圧殺する fact9: このセーヌ県知事は上げ難いかあるいは人懐っこいかあるいは両方ともだ fact10: もしそのビアホールは圧殺するし怠いとすれば「その二等辺三角形は圧殺しない」ということは間違っているということはない fact11: 仮にとある物は執念深くないとしたら「あの要否は干し上げる」ということは真実だ ; $hypothesis$ = その二等辺三角形は圧殺しない ; $proof$ = 
fact8 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にそのコンパイラーが古学堂でそれが化学的刺激ならそのビアホールは四角くない
事実2: そのビアホールは怠い
事実3: 仮にあの要否は岡山県下でないし古学堂でないなら「そのコンパイラーは古学堂だ」ということは真実だ
事実4: 仮になにがしかの物が干し上げれば岡山県下でなくて古学堂であるということはない
事実5: もしなんらかの物が四角くないとすると圧殺するし怠い
事実6: もしもこのセーヌ県知事が上げ難いかもしくはそれが人懐っこいとするとそれは執念深くない
事実7: もし仮にそのビアホールが圧殺するならその二等辺三角形は怠い
事実8: もしもそのビアホールが怠いとするとその二等辺三角形は圧殺する
事実9: このセーヌ県知事は上げ難いかあるいは人懐っこいかあるいは両方ともだ
事実10: もしそのビアホールは圧殺するし怠いとすれば「その二等辺三角形は圧殺しない」ということは間違っているということはない
事実11: 仮にとある物は執念深くないとしたら「あの要否は干し上げる」ということは真実だ

仮説: その二等辺三角形は圧殺しない
1. 事実8と事実2から、仮説が否定される

よって、仮説が否定されました。