この偏重はどうして良い
fact1: もしあるものは二兎であるかまたは食傷するかまたはどちらもであるなら「あのはったりは二兎だ」ということは正しい fact2: その全行程は二兎であるかもしくは食傷する fact3: その全行程は街灯でない fact4: もし「この偏重はどうして良いが否定形暗示文試行であるということはない」ということは偽ならこのマックレイカーズは否定形暗示文試行でない fact5: なにがしかのものは街灯だとしたら「それは聞かなくて忌ま忌ましい」ということは間違いである fact6: 何かは行儀良くて加えて人間っぽい fact7: もし仮にとある物が行き着くとすればそれはどうして良い fact8: 「何かは行儀良くておまけに人間っぽいとしたらあのはったりは否定形暗示文試行だ」ということは事実だ fact9: もし仮に「その全行程は行き着く」ということは成り立てば如何わしい fact10: もし「その全行程は聞く」ということは本当であるならその会社間は街灯である fact11: もし仮にこの偏重がどうして良いならばあの虚血時は行き着く fact12: もしもあのはったりが聞くならばあの全行程は忌ま忌ましい fact13: あのはったりはファクスしないかまたはそれは二兎でないかあるいは両方ともである fact14: もし仮に二兎は否定形暗示文試行であるならばそれはファクスしない fact15: 仮に「この虚血時は忌ま忌ましい」ということは成り立つとするとこの偏重は行き着く fact16: あるものは行き着くとしたら「それはどうして良いがしかし否定形暗示文試行だということはない」ということは成り立たない fact17: その全行程は忌ま忌ましい fact18: 仮に「「聞く」物はある」ということは間違いだということはないならこの虚血時は忌ま忌ましいか行き着くかもしくはどちらもだ fact19: もしもあのはったりが忌ま忌ましいとすればその全行程は聞く fact20: もしその全行程はファクスすれば「その会社間は聞く」ということは成り立つ fact21: その会社間は否定形暗示文試行だ fact22: 仮にこの虚血時が行き着くとしたらあのはったりは忌ま忌ましい fact23: 「街灯はファクスする」ということは本当だ fact24: もしその会社間は否定形暗示文試行であるとすればファクスしない
void -> assump1: 以下のように仮定する。この偏重はどうして良い; fact11 & assump1 -> int1: 「この虚血時は行き着く」ということは正しい; int1 & fact22 -> int2: あのはったりは忌ま忌ましい; int2 & fact19 -> int3: その全行程は聞く; int3 & fact10 -> int4: その会社間は街灯だ; fact23 -> int5: その会社間が街灯だとしたらファクスする; int4 & int5 -> int6: その会社間はファクスする; fact21 & fact24 -> int7: その会社間はファクスしない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
このマックレイカーズは否定形暗示文試行でない
fact26 -> int9: この偏重は行き着くなら「それはどうして良いが否定形暗示文試行でない」ということは成り立たない; fact27 -> int10: もしこの虚血時は街灯であるとしたら「聞かないが忌ま忌ましい」ということは嘘である; fact28 -> int11: 「ファクスしないかまたは二兎でないかもしくはどちらもな」物はある;
$facts$ = fact1: もしあるものは二兎であるかまたは食傷するかまたはどちらもであるなら「あのはったりは二兎だ」ということは正しい fact2: その全行程は二兎であるかもしくは食傷する fact3: その全行程は街灯でない fact4: もし「この偏重はどうして良いが否定形暗示文試行であるということはない」ということは偽ならこのマックレイカーズは否定形暗示文試行でない fact5: なにがしかのものは街灯だとしたら「それは聞かなくて忌ま忌ましい」ということは間違いである fact6: 何かは行儀良くて加えて人間っぽい fact7: もし仮にとある物が行き着くとすればそれはどうして良い fact8: 「何かは行儀良くておまけに人間っぽいとしたらあのはったりは否定形暗示文試行だ」ということは事実だ fact9: もし仮に「その全行程は行き着く」ということは成り立てば如何わしい fact10: もし「その全行程は聞く」ということは本当であるならその会社間は街灯である fact11: もし仮にこの偏重がどうして良いならばあの虚血時は行き着く fact12: もしもあのはったりが聞くならばあの全行程は忌ま忌ましい fact13: あのはったりはファクスしないかまたはそれは二兎でないかあるいは両方ともである fact14: もし仮に二兎は否定形暗示文試行であるならばそれはファクスしない fact15: 仮に「この虚血時は忌ま忌ましい」ということは成り立つとするとこの偏重は行き着く fact16: あるものは行き着くとしたら「それはどうして良いがしかし否定形暗示文試行だということはない」ということは成り立たない fact17: その全行程は忌ま忌ましい fact18: 仮に「「聞く」物はある」ということは間違いだということはないならこの虚血時は忌ま忌ましいか行き着くかもしくはどちらもだ fact19: もしもあのはったりが忌ま忌ましいとすればその全行程は聞く fact20: もしその全行程はファクスすれば「その会社間は聞く」ということは成り立つ fact21: その会社間は否定形暗示文試行だ fact22: 仮にこの虚血時が行き着くとしたらあのはったりは忌ま忌ましい fact23: 「街灯はファクスする」ということは本当だ fact24: もしその会社間は否定形暗示文試行であるとすればファクスしない ; $hypothesis$ = この偏重はどうして良い ; $proof$ = 
void -> assump1: 以下のように仮定する。この偏重はどうして良い; fact11 & assump1 -> int1: 「この虚血時は行き着く」ということは正しい; int1 & fact22 -> int2: あのはったりは忌ま忌ましい; int2 & fact19 -> int3: その全行程は聞く; int3 & fact10 -> int4: その会社間は街灯だ; fact23 -> int5: その会社間が街灯だとしたらファクスする; int4 & int5 -> int6: その会社間はファクスする; fact21 & fact24 -> int7: その会社間はファクスしない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしあるものは二兎であるかまたは食傷するかまたはどちらもであるなら「あのはったりは二兎だ」ということは正しい
事実2: その全行程は二兎であるかもしくは食傷する
事実3: その全行程は街灯でない
事実4: もし「この偏重はどうして良いが否定形暗示文試行であるということはない」ということは偽ならこのマックレイカーズは否定形暗示文試行でない
事実5: なにがしかのものは街灯だとしたら「それは聞かなくて忌ま忌ましい」ということは間違いである
事実6: 何かは行儀良くて加えて人間っぽい
事実7: もし仮にとある物が行き着くとすればそれはどうして良い
事実8: 「何かは行儀良くておまけに人間っぽいとしたらあのはったりは否定形暗示文試行だ」ということは事実だ
事実9: もし仮に「その全行程は行き着く」ということは成り立てば如何わしい
事実10: もし「その全行程は聞く」ということは本当であるならその会社間は街灯である
事実11: もし仮にこの偏重がどうして良いならばあの虚血時は行き着く
事実12: もしもあのはったりが聞くならばあの全行程は忌ま忌ましい
事実13: あのはったりはファクスしないかまたはそれは二兎でないかあるいは両方ともである
事実14: もし仮に二兎は否定形暗示文試行であるならばそれはファクスしない
事実15: 仮に「この虚血時は忌ま忌ましい」ということは成り立つとするとこの偏重は行き着く
事実16: あるものは行き着くとしたら「それはどうして良いがしかし否定形暗示文試行だということはない」ということは成り立たない
事実17: その全行程は忌ま忌ましい
事実18: 仮に「「聞く」物はある」ということは間違いだということはないならこの虚血時は忌ま忌ましいか行き着くかもしくはどちらもだ
事実19: もしもあのはったりが忌ま忌ましいとすればその全行程は聞く
事実20: もしその全行程はファクスすれば「その会社間は聞く」ということは成り立つ
事実21: その会社間は否定形暗示文試行だ
事実22: 仮にこの虚血時が行き着くとしたらあのはったりは忌ま忌ましい
事実23: 「街灯はファクスする」ということは本当だ
事実24: もしその会社間は否定形暗示文試行であるとすればファクスしない

仮説: この偏重はどうして良い
1. 仮定1: 以下のように仮定する。この偏重はどうして良い
2. 事実11と仮定1から、推論1: "「この虚血時は行き着く」ということは正しい"が導かれる
3. 推論1と事実22から、推論2: "あのはったりは忌ま忌ましい"が導かれる
4. 推論2と事実19から、推論3: "その全行程は聞く"が導かれる
5. 推論3と事実10から、推論4: "その会社間は街灯だ"が導かれる
6. 事実23から、推論5: "その会社間が街灯だとしたらファクスする"が導かれる
7. 推論4と推論5から、推論6: "その会社間はファクスする"が導かれる
8. 事実21と事実24から、推論7: "その会社間はファクスしない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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