その平安・鎌倉時代は運び出す
fact1: その平安・鎌倉時代は赤しない fact2: この竪穴住居跡は邪魔臭いということはない fact3: この大観衆は邪魔臭い fact4: もしなにがしかのものは興奮し過ぎないならそれは運び出さない fact5: もしとある物が増え難くないならば運び出さない fact6: そのモデル部門は興奮し過ぎない fact7: 仮にこの大観衆が興奮し過ぎるとするとその平安・鎌倉時代は邪魔臭い fact8: もし仮に「何かは興奮し過ぎなくておまけに翻訳書でない」ということは誤りであるとしたらそれは興奮し過ぎる fact9: もし仮にこの大観衆が増え難いということはなくて邪魔臭くないとしたらこの恐喝は運び出さない fact10: もし仮にこの大観衆が増え難いしまた邪魔臭いとすればその平安・鎌倉時代は興奮し過ぎない fact11: この大観衆が邪魔臭いということはないとするとそれは運び出さない fact12: この大観衆が興奮し過ぎるし増え難いとしたらその平安・鎌倉時代は邪魔臭くない fact13: この大観衆は増え難い fact14: この大観衆は吹き上がるし更に冷め易い
fact13 & fact3 -> int1: 「この大観衆は増え難くて邪魔臭い」ということは成り立つ; int1 & fact10 -> int2: その平安・鎌倉時代は興奮し過ぎない; fact4 -> int3: もし仮にその平安・鎌倉時代は興奮し過ぎないとすれば「運び出さない」ということは本当である; int2 & int3 -> hypothesis;
この恐喝は運び出さない
fact16 -> int4: もし仮に「その平安・鎌倉時代は興奮し過ぎないしかつ翻訳書だということはない」ということは偽だとすると「興奮し過ぎる」ということは成り立つ;
$facts$ = fact1: その平安・鎌倉時代は赤しない fact2: この竪穴住居跡は邪魔臭いということはない fact3: この大観衆は邪魔臭い fact4: もしなにがしかのものは興奮し過ぎないならそれは運び出さない fact5: もしとある物が増え難くないならば運び出さない fact6: そのモデル部門は興奮し過ぎない fact7: 仮にこの大観衆が興奮し過ぎるとするとその平安・鎌倉時代は邪魔臭い fact8: もし仮に「何かは興奮し過ぎなくておまけに翻訳書でない」ということは誤りであるとしたらそれは興奮し過ぎる fact9: もし仮にこの大観衆が増え難いということはなくて邪魔臭くないとしたらこの恐喝は運び出さない fact10: もし仮にこの大観衆が増え難いしまた邪魔臭いとすればその平安・鎌倉時代は興奮し過ぎない fact11: この大観衆が邪魔臭いということはないとするとそれは運び出さない fact12: この大観衆が興奮し過ぎるし増え難いとしたらその平安・鎌倉時代は邪魔臭くない fact13: この大観衆は増え難い fact14: この大観衆は吹き上がるし更に冷め易い ; $hypothesis$ = その平安・鎌倉時代は運び出す ; $proof$ = 
fact13 & fact3 -> int1: 「この大観衆は増え難くて邪魔臭い」ということは成り立つ; int1 & fact10 -> int2: その平安・鎌倉時代は興奮し過ぎない; fact4 -> int3: もし仮にその平安・鎌倉時代は興奮し過ぎないとすれば「運び出さない」ということは本当である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: その平安・鎌倉時代は赤しない
事実2: この竪穴住居跡は邪魔臭いということはない
事実3: この大観衆は邪魔臭い
事実4: もしなにがしかのものは興奮し過ぎないならそれは運び出さない
事実5: もしとある物が増え難くないならば運び出さない
事実6: そのモデル部門は興奮し過ぎない
事実7: 仮にこの大観衆が興奮し過ぎるとするとその平安・鎌倉時代は邪魔臭い
事実8: もし仮に「何かは興奮し過ぎなくておまけに翻訳書でない」ということは誤りであるとしたらそれは興奮し過ぎる
事実9: もし仮にこの大観衆が増え難いということはなくて邪魔臭くないとしたらこの恐喝は運び出さない
事実10: もし仮にこの大観衆が増え難いしまた邪魔臭いとすればその平安・鎌倉時代は興奮し過ぎない
事実11: この大観衆が邪魔臭いということはないとするとそれは運び出さない
事実12: この大観衆が興奮し過ぎるし増え難いとしたらその平安・鎌倉時代は邪魔臭くない
事実13: この大観衆は増え難い
事実14: この大観衆は吹き上がるし更に冷め易い

仮説: その平安・鎌倉時代は運び出す
1. 事実13と事実3から、推論1: "「この大観衆は増え難くて邪魔臭い」ということは成り立つ"が導かれる
2. 推論1と事実10から、推論2: "その平安・鎌倉時代は興奮し過ぎない"が導かれる
3. 事実4から、推論3: "もし仮にその平安・鎌倉時代は興奮し過ぎないとすれば「運び出さない」ということは本当である"が導かれる
4. 推論2と推論3から、仮説が否定される

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