あの黴達は歩み続けない
fact1: 「その明細書等は羨ましくなくて勘弁しない」ということは誤りだとするとあの黴達は歩み続ける fact2: 仮にその明細書等は羨ましいとすれば「あの黴達は歩み続ける」ということは確かである fact3: 「その連隊は羨ましいけれど溢れない」ということは成り立たない fact4: もし仮にその連隊は溢れるなら「あの術師自身は羨ましい」ということは成り立つ fact5: 「もし仮にあの輸入代替政策が半月切りだとするとその連隊は溢れる」ということは正しい fact6: もし「その明細書等は歩み続ける」ということは成り立てば「あの黴達は歩み続けなくて勘弁しない」ということは事実と異なる fact7: 「「情けなくない」ということは本当である」物はある fact8: もし仮に「情けなくない」ものがあるとしたらあの輸入代替政策は半月切りである fact9: 仮に「歩み続けるということはない」物があるとするとあの黴達は羨ましい fact10: 「その明細書等は羨ましいが勘弁しない」ということは間違いである fact11: もし仮にその明細書等は勘弁すれば「その連隊は勘弁するけれど溢れない」ということは事実でない fact12: もし仮にあの黴達は勘弁するなら「その明細書等は歩み続ける」ということは事実である fact13: 仮にあの術師自身は羨ましいなら「「その明細書等は羨ましくないし加えて勘弁しない」ということは事実だ」ということは嘘である fact14: 「もし仮にあの輸入代替政策は羨ましいとしたら「あの術師自身は半月切りである」ということは本当である」ということは正しい fact15: 「その明細書等は半月切りでなくておまけに勘弁しない」ということは事実でない
fact7 & fact8 -> int1: あの輸入代替政策は半月切りだ; int1 & fact5 -> int2: その連隊は溢れる; int2 & fact4 -> int3: あの術師自身は羨ましい; int3 & fact13 -> int4: 「その明細書等は羨ましくなくてその上それは勘弁しない」ということは成り立つということはない; int4 & fact1 -> hypothesis;
$facts$ = fact1: 「その明細書等は羨ましくなくて勘弁しない」ということは誤りだとするとあの黴達は歩み続ける fact2: 仮にその明細書等は羨ましいとすれば「あの黴達は歩み続ける」ということは確かである fact3: 「その連隊は羨ましいけれど溢れない」ということは成り立たない fact4: もし仮にその連隊は溢れるなら「あの術師自身は羨ましい」ということは成り立つ fact5: 「もし仮にあの輸入代替政策が半月切りだとするとその連隊は溢れる」ということは正しい fact6: もし「その明細書等は歩み続ける」ということは成り立てば「あの黴達は歩み続けなくて勘弁しない」ということは事実と異なる fact7: 「「情けなくない」ということは本当である」物はある fact8: もし仮に「情けなくない」ものがあるとしたらあの輸入代替政策は半月切りである fact9: 仮に「歩み続けるということはない」物があるとするとあの黴達は羨ましい fact10: 「その明細書等は羨ましいが勘弁しない」ということは間違いである fact11: もし仮にその明細書等は勘弁すれば「その連隊は勘弁するけれど溢れない」ということは事実でない fact12: もし仮にあの黴達は勘弁するなら「その明細書等は歩み続ける」ということは事実である fact13: 仮にあの術師自身は羨ましいなら「「その明細書等は羨ましくないし加えて勘弁しない」ということは事実だ」ということは嘘である fact14: 「もし仮にあの輸入代替政策は羨ましいとしたら「あの術師自身は半月切りである」ということは本当である」ということは正しい fact15: 「その明細書等は半月切りでなくておまけに勘弁しない」ということは事実でない ; $hypothesis$ = あの黴達は歩み続けない ; $proof$ = 
fact7 & fact8 -> int1: あの輸入代替政策は半月切りだ; int1 & fact5 -> int2: その連隊は溢れる; int2 & fact4 -> int3: あの術師自身は羨ましい; int3 & fact13 -> int4: 「その明細書等は羨ましくなくてその上それは勘弁しない」ということは成り立つということはない; int4 & fact1 -> hypothesis; __DISPROVED__
事実1: 「その明細書等は羨ましくなくて勘弁しない」ということは誤りだとするとあの黴達は歩み続ける
事実2: 仮にその明細書等は羨ましいとすれば「あの黴達は歩み続ける」ということは確かである
事実3: 「その連隊は羨ましいけれど溢れない」ということは成り立たない
事実4: もし仮にその連隊は溢れるなら「あの術師自身は羨ましい」ということは成り立つ
事実5: 「もし仮にあの輸入代替政策が半月切りだとするとその連隊は溢れる」ということは正しい
事実6: もし「その明細書等は歩み続ける」ということは成り立てば「あの黴達は歩み続けなくて勘弁しない」ということは事実と異なる
事実7: 「「情けなくない」ということは本当である」物はある
事実8: もし仮に「情けなくない」ものがあるとしたらあの輸入代替政策は半月切りである
事実9: 仮に「歩み続けるということはない」物があるとするとあの黴達は羨ましい
事実10: 「その明細書等は羨ましいが勘弁しない」ということは間違いである
事実11: もし仮にその明細書等は勘弁すれば「その連隊は勘弁するけれど溢れない」ということは事実でない
事実12: もし仮にあの黴達は勘弁するなら「その明細書等は歩み続ける」ということは事実である
事実13: 仮にあの術師自身は羨ましいなら「「その明細書等は羨ましくないし加えて勘弁しない」ということは事実だ」ということは嘘である
事実14: 「もし仮にあの輸入代替政策は羨ましいとしたら「あの術師自身は半月切りである」ということは本当である」ということは正しい
事実15: 「その明細書等は半月切りでなくておまけに勘弁しない」ということは事実でない

仮説: あの黴達は歩み続けない
1. 事実7と事実8から、推論1: "あの輸入代替政策は半月切りだ"が導かれる
2. 推論1と事実5から、推論2: "その連隊は溢れる"が導かれる
3. 推論2と事実4から、推論3: "あの術師自身は羨ましい"が導かれる
4. 推論3と事実13から、推論4: "「その明細書等は羨ましくなくてその上それは勘弁しない」ということは成り立つということはない"が導かれる
5. 推論4と事実1から、仮説が否定される

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