あの固目は巡り巡る
fact1: 仮に「その様は熱し易い」ということは事実ならばそれは表現行為でない fact2: 仮に「その様は巡り巡る」ということは成り立つとしたらあの固目は渉猟する fact3: このピンク映画は移入しないならば「その様は巡り巡らなくてその上渉猟しない」ということは成り立たない fact4: 仮に「同等性でない」物があればその調練坊は興行しないか同等性でないかあるいはどちらもである fact5: もし仮にあるものは移入するとすると「巡り巡らない」ということは成り立つ fact6: 仮にあの固目は同等性なら「その様は移入しない一方で巡り巡る」ということは嘘だ fact7: もしあの固目が移入するとすればその様は渉猟する fact8: 「その三日以後生まれは携帯出来る」ということは真実だ fact9: あのサラリーマン達は確認ダイアログボックスである fact10: あのサラリーマン達が確認ダイアログボックスであるとすればあの三日以後生まれは低い fact11: 「仮にこのピンク映画が潔しとすればあの固目は興行する」ということは事実と異なるということはない fact12: 仮にあるものが興行すれば同等性だ fact13: もし仮に「なにかは同性間で潔し」ということは偽であるとすれば同等性でない fact14: 仮に何かは渉猟するとするとそれは巡り巡らない fact15: もしもその調練坊が興行しないかまたは同等性でないかあるいはどちらもだとしたらこのピンク映画は移入しない fact16: もしも低いものが携帯出来るとしたらこの一時退院は振り出さない fact17: もし仮にその様は移入するなら「あの固目は渉猟する」ということは成り立つ fact18: もしあるものは振り出さないとすると「それは同性間であるしそれは潔し」ということは誤りである fact19: 「その様は移入する」ということは確かだ
fact17 & fact19 -> int1: あの固目は渉猟する; fact14 -> int2: もし仮にあの固目が渉猟するとすると巡り巡らない; int1 & int2 -> hypothesis;
fact17 & fact19 -> int1: {B}{b}; fact14 -> int2: {B}{b} -> ¬{C}{b}; int1 & int2 -> hypothesis;
そのセルＤは渉猟しない
fact20 -> int3: もしもあの固目が興行するとすれば同等性である;
$facts$ = fact1: 仮に「その様は熱し易い」ということは事実ならばそれは表現行為でない fact2: 仮に「その様は巡り巡る」ということは成り立つとしたらあの固目は渉猟する fact3: このピンク映画は移入しないならば「その様は巡り巡らなくてその上渉猟しない」ということは成り立たない fact4: 仮に「同等性でない」物があればその調練坊は興行しないか同等性でないかあるいはどちらもである fact5: もし仮にあるものは移入するとすると「巡り巡らない」ということは成り立つ fact6: 仮にあの固目は同等性なら「その様は移入しない一方で巡り巡る」ということは嘘だ fact7: もしあの固目が移入するとすればその様は渉猟する fact8: 「その三日以後生まれは携帯出来る」ということは真実だ fact9: あのサラリーマン達は確認ダイアログボックスである fact10: あのサラリーマン達が確認ダイアログボックスであるとすればあの三日以後生まれは低い fact11: 「仮にこのピンク映画が潔しとすればあの固目は興行する」ということは事実と異なるということはない fact12: 仮にあるものが興行すれば同等性だ fact13: もし仮に「なにかは同性間で潔し」ということは偽であるとすれば同等性でない fact14: 仮に何かは渉猟するとするとそれは巡り巡らない fact15: もしもその調練坊が興行しないかまたは同等性でないかあるいはどちらもだとしたらこのピンク映画は移入しない fact16: もしも低いものが携帯出来るとしたらこの一時退院は振り出さない fact17: もし仮にその様は移入するなら「あの固目は渉猟する」ということは成り立つ fact18: もしあるものは振り出さないとすると「それは同性間であるしそれは潔し」ということは誤りである fact19: 「その様は移入する」ということは確かだ ; $hypothesis$ = あの固目は巡り巡る ; $proof$ = 
fact17 & fact19 -> int1: あの固目は渉猟する; fact14 -> int2: もし仮にあの固目が渉猟するとすると巡り巡らない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「その様は熱し易い」ということは事実ならばそれは表現行為でない
事実2: 仮に「その様は巡り巡る」ということは成り立つとしたらあの固目は渉猟する
事実3: このピンク映画は移入しないならば「その様は巡り巡らなくてその上渉猟しない」ということは成り立たない
事実4: 仮に「同等性でない」物があればその調練坊は興行しないか同等性でないかあるいはどちらもである
事実5: もし仮にあるものは移入するとすると「巡り巡らない」ということは成り立つ
事実6: 仮にあの固目は同等性なら「その様は移入しない一方で巡り巡る」ということは嘘だ
事実7: もしあの固目が移入するとすればその様は渉猟する
事実8: 「その三日以後生まれは携帯出来る」ということは真実だ
事実9: あのサラリーマン達は確認ダイアログボックスである
事実10: あのサラリーマン達が確認ダイアログボックスであるとすればあの三日以後生まれは低い
事実11: 「仮にこのピンク映画が潔しとすればあの固目は興行する」ということは事実と異なるということはない
事実12: 仮にあるものが興行すれば同等性だ
事実13: もし仮に「なにかは同性間で潔し」ということは偽であるとすれば同等性でない
事実14: 仮に何かは渉猟するとするとそれは巡り巡らない
事実15: もしもその調練坊が興行しないかまたは同等性でないかあるいはどちらもだとしたらこのピンク映画は移入しない
事実16: もしも低いものが携帯出来るとしたらこの一時退院は振り出さない
事実17: もし仮にその様は移入するなら「あの固目は渉猟する」ということは成り立つ
事実18: もしあるものは振り出さないとすると「それは同性間であるしそれは潔し」ということは誤りである
事実19: 「その様は移入する」ということは確かだ

仮説: あの固目は巡り巡る
1. 事実17と事実19から、推論1: "あの固目は渉猟する"が導かれる
2. 事実14から、推論2: "もし仮にあの固目が渉猟するとすると巡り巡らない"が導かれる
3. 推論1と推論2から、仮説が否定される

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