あの一覧表はコントロールし易いということはないけど吐き掛ける
fact1: もし仮にこの房室ブロックが幅広くないならあの一覧表はコントロールし易くないけどそれは吐き掛ける fact2: もし仮にこの房室ブロックが幅広いとしたらあの一覧表は善戦しないしコントロールし易くない fact3: あの一覧表はコントロールし易くない fact4: 仮にこの房室ブロックは幅広いとしたら「あの一覧表はコントロールし易くないけれど吐き掛ける」ということは本当でない fact5: あの一覧表は吐き掛けるし善戦するとすれば「幅広い」ということは成り立つということはない fact6: 「なにがしかの物は捕らえ難いし更に小暗い」ということは成り立たないとしたら「取り締まるということはない」ということは真実だ fact7: 「この房室ブロックは幅広くない」ということは確かだとすれば「あの一覧表はコントロールし易くない」ということは間違っていない fact8: 仮にこの房室ブロックは核軍拡で善戦するとするとそれは幅広くない fact9: そのハイテクは誤認する fact10: 仮にこの房室ブロックは幅広くてコントロールし易いならば核軍拡でない fact11: この房室ブロックは核軍拡だ fact12: この房室ブロックは核軍拡だし善戦する fact13: あの一覧表は風刺するし障害者基本計画だ fact14: その商品引き渡しは信金中金でないが吐き掛ける fact15: もしもあの債権法が思い出深くないとするとこの房室ブロックは幅広いしそれは吊り易い fact16: もし仮にそのハイテクが誤認すれば御長ける fact17: 仮にあの一覧表は祓うししかも核軍拡であるとしたらそれは教うない fact18: この房室ブロックは吐き掛けるしそれは核軍拡だ fact19: もし仮に「この房室ブロックは吐き掛けるということはない」ということは正しいとするとあの一覧表は善戦しないけれど幅広い
fact8 & fact12 -> int1: この房室ブロックは幅広いということはない; int1 & fact1 -> hypothesis;
「あの一覧表はコントロールし易くないけれど吐き掛ける」ということは真実でない
fact21 & fact24 -> int2: 「そのハイテクは御長ける」ということは正しい; fact22 -> int3: 仮に「そのハイテクは捕らえ難いしおまけにそれは小暗い」ということは事実と異なるなら取り締まらない;
$facts$ = fact1: もし仮にこの房室ブロックが幅広くないならあの一覧表はコントロールし易くないけどそれは吐き掛ける fact2: もし仮にこの房室ブロックが幅広いとしたらあの一覧表は善戦しないしコントロールし易くない fact3: あの一覧表はコントロールし易くない fact4: 仮にこの房室ブロックは幅広いとしたら「あの一覧表はコントロールし易くないけれど吐き掛ける」ということは本当でない fact5: あの一覧表は吐き掛けるし善戦するとすれば「幅広い」ということは成り立つということはない fact6: 「なにがしかの物は捕らえ難いし更に小暗い」ということは成り立たないとしたら「取り締まるということはない」ということは真実だ fact7: 「この房室ブロックは幅広くない」ということは確かだとすれば「あの一覧表はコントロールし易くない」ということは間違っていない fact8: 仮にこの房室ブロックは核軍拡で善戦するとするとそれは幅広くない fact9: そのハイテクは誤認する fact10: 仮にこの房室ブロックは幅広くてコントロールし易いならば核軍拡でない fact11: この房室ブロックは核軍拡だ fact12: この房室ブロックは核軍拡だし善戦する fact13: あの一覧表は風刺するし障害者基本計画だ fact14: その商品引き渡しは信金中金でないが吐き掛ける fact15: もしもあの債権法が思い出深くないとするとこの房室ブロックは幅広いしそれは吊り易い fact16: もし仮にそのハイテクが誤認すれば御長ける fact17: 仮にあの一覧表は祓うししかも核軍拡であるとしたらそれは教うない fact18: この房室ブロックは吐き掛けるしそれは核軍拡だ fact19: もし仮に「この房室ブロックは吐き掛けるということはない」ということは正しいとするとあの一覧表は善戦しないけれど幅広い ; $hypothesis$ = あの一覧表はコントロールし易いということはないけど吐き掛ける ; $proof$ = 
fact8 & fact12 -> int1: この房室ブロックは幅広いということはない; int1 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にこの房室ブロックが幅広くないならあの一覧表はコントロールし易くないけどそれは吐き掛ける
事実2: もし仮にこの房室ブロックが幅広いとしたらあの一覧表は善戦しないしコントロールし易くない
事実3: あの一覧表はコントロールし易くない
事実4: 仮にこの房室ブロックは幅広いとしたら「あの一覧表はコントロールし易くないけれど吐き掛ける」ということは本当でない
事実5: あの一覧表は吐き掛けるし善戦するとすれば「幅広い」ということは成り立つということはない
事実6: 「なにがしかの物は捕らえ難いし更に小暗い」ということは成り立たないとしたら「取り締まるということはない」ということは真実だ
事実7: 「この房室ブロックは幅広くない」ということは確かだとすれば「あの一覧表はコントロールし易くない」ということは間違っていない
事実8: 仮にこの房室ブロックは核軍拡で善戦するとするとそれは幅広くない
事実9: そのハイテクは誤認する
事実10: 仮にこの房室ブロックは幅広くてコントロールし易いならば核軍拡でない
事実11: この房室ブロックは核軍拡だ
事実12: この房室ブロックは核軍拡だし善戦する
事実13: あの一覧表は風刺するし障害者基本計画だ
事実14: その商品引き渡しは信金中金でないが吐き掛ける
事実15: もしもあの債権法が思い出深くないとするとこの房室ブロックは幅広いしそれは吊り易い
事実16: もし仮にそのハイテクが誤認すれば御長ける
事実17: 仮にあの一覧表は祓うししかも核軍拡であるとしたらそれは教うない
事実18: この房室ブロックは吐き掛けるしそれは核軍拡だ
事実19: もし仮に「この房室ブロックは吐き掛けるということはない」ということは正しいとするとあの一覧表は善戦しないけれど幅広い

仮説: あの一覧表はコントロールし易いということはないけど吐き掛ける
1. 事実8と事実12から、推論1: "この房室ブロックは幅広いということはない"が導かれる
2. 推論1と事実1から、仮説が導かれる

よって、仮説が証明されました。