この入賞口は酷いしそれは居酒屋だ
fact1: もしも何らかの物は慕わしくないならば「改質するけれど惨たらしくない」ということは本当でない fact2: もしも「組み付けるということはない」ものがあるとしたらあの犯罪地決定は軍曹だ fact3: もし仮にあの犯罪地決定は組み付けないとすると「分葱でないしかつ軍曹でない」ということは誤っている fact4: もし「なにがしかの物は組み付けないかあるいはそれは切り易くないかまたは両方だ」ということは事実であるならばあの犯罪地決定は軍曹である fact5: 仮にこの入賞口が分葱だとするとそれは酷い fact6: もしあの犯罪地決定が女らしくないならばこの入賞口は得られ難い fact7: 「この入賞口は得られ難い」ということは間違っていないならば居酒屋だ fact8: 「この基地航空隊は慕わしい」ということは正しくないとするとあの犯罪地決定は惨たらしくない fact9: なにかは組み付けるかまたは切り易くないかまたはどちらもである fact10: もしもなにかは軍曹ならば「女らしい一方で惨たらしくない」ということは成り立たない fact11: この基地航空隊は慕わしいということはない fact12: あの犯罪地決定は誇りっぽくない fact13: ある物は酷くないか驚かさない fact14: この入賞口は驚かす fact15: この入賞口は分葱であるししかも驚かす fact16: もしもあるものは惨たらしいなら「それは女らしくないし慕わしくない」ということは誤りである fact17: 「組み付けないかもしくは切り易くない」物はある fact18: もしあの犯罪地決定が惨たらしいならば得られ難い fact19: 「なにがしかのものは組み付けるということはないか切り易いかまたはどちらもである」ということは真実である fact20: 仮に何かは得られ難いとすればそれは惨たらしい fact21: もしこの入賞口は分葱だとすれば「「軍曹であるしそれは驚かさない」ということは本当である」ということは嘘である fact22: もしあの犯罪地決定は誇りっぽいということはないとしたら「それは驚かすけど切り易くない」ということは嘘だ fact23: もしもこの基地航空隊が女らしくないけれどそれが慕わしいとしたらこの入賞口は慕わしくない fact24: あるものが酷くないならば居酒屋であるかもしくは得られ難いか両方である
fact8 & fact11 -> int1: あの犯罪地決定は惨たらしくない; void -> assump1: 以下のように仮定する。あの犯罪地決定は女らしい; int1 & assump1 -> int2: あの犯罪地決定は女らしいけど惨たらしくない; fact17 & fact4 -> int3: あの犯罪地決定は軍曹だ; fact10 -> int4: 「もし仮にあの犯罪地決定は軍曹であるとしたら「あの犯罪地決定は女らしい一方で惨たらしくない」ということは成り立たない」ということは誤りでない; int3 & int4 -> int5: 「あの犯罪地決定は女らしい一方でそれは惨たらしくない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの犯罪地決定は女らしくない; int7 & fact6 -> int8: この入賞口は得られ難い; int8 & fact7 -> int9: この入賞口は居酒屋だ; fact15 -> int10: この入賞口は分葱である; int10 & fact5 -> int11: この入賞口は酷い; int9 & int11 -> hypothesis;
「この入賞口は酷くて居酒屋だ」ということは事実と異なる
fact27 -> int12: 仮にあの犯罪地決定は惨たらしいならば「それは女らしくないしさらに慕わしくない」ということは成り立つということはない; fact26 -> int13: 仮にあの犯罪地決定が得られ難いならそれは惨たらしい; fact25 & fact28 -> int14: 「あの犯罪地決定は驚かすけれど切り易くない」ということは成り立たない;
$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$ = 
fact8 & fact11 -> int1: あの犯罪地決定は惨たらしくない; void -> assump1: 以下のように仮定する。あの犯罪地決定は女らしい; int1 & assump1 -> int2: あの犯罪地決定は女らしいけど惨たらしくない; fact17 & fact4 -> int3: あの犯罪地決定は軍曹だ; fact10 -> int4: 「もし仮にあの犯罪地決定は軍曹であるとしたら「あの犯罪地決定は女らしい一方で惨たらしくない」ということは成り立たない」ということは誤りでない; int3 & int4 -> int5: 「あの犯罪地決定は女らしい一方でそれは惨たらしくない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの犯罪地決定は女らしくない; int7 & fact6 -> int8: この入賞口は得られ難い; int8 & fact7 -> int9: この入賞口は居酒屋だ; fact15 -> int10: この入賞口は分葱である; int10 & fact5 -> int11: この入賞口は酷い; int9 & int11 -> hypothesis; __PROVED__
事実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. 事実8と事実11から、推論1: "あの犯罪地決定は惨たらしくない"が導かれる
2. 仮定1: 以下のように仮定する。あの犯罪地決定は女らしい
3. 推論1と仮定1から、推論2: "あの犯罪地決定は女らしいけど惨たらしくない"が導かれる
4. 事実17と事実4から、推論3: "あの犯罪地決定は軍曹だ"が導かれる
5. 事実10から、推論4: "「もし仮にあの犯罪地決定は軍曹であるとしたら「あの犯罪地決定は女らしい一方で惨たらしくない」ということは成り立たない」ということは誤りでない"が導かれる
6. 推論3と推論4から、推論5: "「あの犯罪地決定は女らしい一方でそれは惨たらしくない」ということは成り立たない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの犯罪地決定は女らしくない"が導かれる
9. 推論7と事実6から、推論8: "この入賞口は得られ難い"が導かれる
10. 推論8と事実7から、推論9: "この入賞口は居酒屋だ"が導かれる
11. 事実15から、推論10: "この入賞口は分葱である"が導かれる
12. 推論10と事実5から、推論11: "この入賞口は酷い"が導かれる
13. 推論9と推論11から、仮説が導かれる

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