このナイロン製は国連総会だ
fact1: あの三元豚は程無いかまたはタトゥーでないか両方ともである fact2: あの三元豚は第二言語習得であるならそれはタトゥーであるということはない fact3: このＴＮＦ‐α遺伝子欠損マウスがタトゥーでない一方で程無いならばこのナイロン製は国連総会でない fact4: 仮に「とあるものは第二言語習得でなくて加えて近しない」ということは成り立たないならばそれはタトゥーでない fact5: もしこの受任者がタトゥーで竹割り機ならその用意はタトゥーでない fact6: もしその用意が青白いとしたらこの受任者は排水溝部分だがしかしあどけないということはない fact7: なにがしかの物はあどけないということはないならば「あの三元豚は第二言語習得でないしそれに近しない」ということは嘘である fact8: もしあの三元豚がタトゥーでないとすればあのＴＮＦ‐α遺伝子欠損マウスはタトゥーでないけど程無い fact9: 仮にあの三元豚が程無いかタトゥーだということはないかもしくは両方であるとするとこの受任者はタトゥーである fact10: もし「その用意はタトゥーであるということはない」ということは成り立つとしたらこのナイロン製は青白くないけど第二言語習得である fact11: 何らかの物は青白くないならば「それは国連総会でなくて近しない」ということは成り立たない fact12: もし「何らかの物は国連総会でなくてそれは近しない」ということは嘘であるなら国連総会である fact13: 「その用意は青白い」ということは真実だ
fact6 & fact13 -> int1: この受任者は排水溝部分だがしかしあどけなくない; int1 -> int2: この受任者はあどけないということはない; int2 -> int3: 何らかの物はあどけなくない; int3 & fact7 -> int4: 「あの三元豚は第二言語習得でなくてそれは近しない」ということは間違いである; fact4 -> int5: もし「あの三元豚は第二言語習得でなくておまけに近しない」ということは誤りであるとすると「それはタトゥーでない」ということは本当だ; int4 & int5 -> int6: あの三元豚はタトゥーでない; int6 & fact8 -> int7: このＴＮＦ‐α遺伝子欠損マウスはタトゥーでないけど程無い; int7 & fact3 -> hypothesis;
このナイロン製は国連総会だ
fact16 -> int8: もしも「このナイロン製は国連総会であるということはなくてそれは近しない」ということは成り立たないとしたら国連総会だ; fact14 -> int9: もし仮にこのナイロン製は青白くないとすると「それは国連総会でなくてその上近しということはない」ということは成り立つということはない; fact15 & fact19 -> int10: この受任者はタトゥーだ;
$facts$ = fact1: あの三元豚は程無いかまたはタトゥーでないか両方ともである fact2: あの三元豚は第二言語習得であるならそれはタトゥーであるということはない fact3: このＴＮＦ‐α遺伝子欠損マウスがタトゥーでない一方で程無いならばこのナイロン製は国連総会でない fact4: 仮に「とあるものは第二言語習得でなくて加えて近しない」ということは成り立たないならばそれはタトゥーでない fact5: もしこの受任者がタトゥーで竹割り機ならその用意はタトゥーでない fact6: もしその用意が青白いとしたらこの受任者は排水溝部分だがしかしあどけないということはない fact7: なにがしかの物はあどけないということはないならば「あの三元豚は第二言語習得でないしそれに近しない」ということは嘘である fact8: もしあの三元豚がタトゥーでないとすればあのＴＮＦ‐α遺伝子欠損マウスはタトゥーでないけど程無い fact9: 仮にあの三元豚が程無いかタトゥーだということはないかもしくは両方であるとするとこの受任者はタトゥーである fact10: もし「その用意はタトゥーであるということはない」ということは成り立つとしたらこのナイロン製は青白くないけど第二言語習得である fact11: 何らかの物は青白くないならば「それは国連総会でなくて近しない」ということは成り立たない fact12: もし「何らかの物は国連総会でなくてそれは近しない」ということは嘘であるなら国連総会である fact13: 「その用意は青白い」ということは真実だ ; $hypothesis$ = このナイロン製は国連総会だ ; $proof$ = 
fact6 & fact13 -> int1: この受任者は排水溝部分だがしかしあどけなくない; int1 -> int2: この受任者はあどけないということはない; int2 -> int3: 何らかの物はあどけなくない; int3 & fact7 -> int4: 「あの三元豚は第二言語習得でなくてそれは近しない」ということは間違いである; fact4 -> int5: もし「あの三元豚は第二言語習得でなくておまけに近しない」ということは誤りであるとすると「それはタトゥーでない」ということは本当だ; int4 & int5 -> int6: あの三元豚はタトゥーでない; int6 & fact8 -> int7: このＴＮＦ‐α遺伝子欠損マウスはタトゥーでないけど程無い; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: あの三元豚は程無いかまたはタトゥーでないか両方ともである
事実2: あの三元豚は第二言語習得であるならそれはタトゥーであるということはない
事実3: このＴＮＦ‐α遺伝子欠損マウスがタトゥーでない一方で程無いならばこのナイロン製は国連総会でない
事実4: 仮に「とあるものは第二言語習得でなくて加えて近しない」ということは成り立たないならばそれはタトゥーでない
事実5: もしこの受任者がタトゥーで竹割り機ならその用意はタトゥーでない
事実6: もしその用意が青白いとしたらこの受任者は排水溝部分だがしかしあどけないということはない
事実7: なにがしかの物はあどけないということはないならば「あの三元豚は第二言語習得でないしそれに近しない」ということは嘘である
事実8: もしあの三元豚がタトゥーでないとすればあのＴＮＦ‐α遺伝子欠損マウスはタトゥーでないけど程無い
事実9: 仮にあの三元豚が程無いかタトゥーだということはないかもしくは両方であるとするとこの受任者はタトゥーである
事実10: もし「その用意はタトゥーであるということはない」ということは成り立つとしたらこのナイロン製は青白くないけど第二言語習得である
事実11: 何らかの物は青白くないならば「それは国連総会でなくて近しない」ということは成り立たない
事実12: もし「何らかの物は国連総会でなくてそれは近しない」ということは嘘であるなら国連総会である
事実13: 「その用意は青白い」ということは真実だ

仮説: このナイロン製は国連総会だ
1. 事実6と事実13から、推論1: "この受任者は排水溝部分だがしかしあどけなくない"が導かれる
2. 推論1から、推論2: "この受任者はあどけないということはない"が導かれる
3. 推論2から、推論3: "何らかの物はあどけなくない"が導かれる
4. 推論3と事実7から、推論4: "「あの三元豚は第二言語習得でなくてそれは近しない」ということは間違いである"が導かれる
5. 事実4から、推論5: "もし「あの三元豚は第二言語習得でなくておまけに近しない」ということは誤りであるとすると「それはタトゥーでない」ということは本当だ"が導かれる
6. 推論4と推論5から、推論6: "あの三元豚はタトゥーでない"が導かれる
7. 推論6と事実8から、推論7: "このＴＮＦ‐α遺伝子欠損マウスはタトゥーでないけど程無い"が導かれる
8. 推論7と事実3から、仮説が否定される

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