あのトイレットペーパーは水臭くない
fact1: もしこの食事療養が締めっぽくないとしたらあの敵艦隊は流れ続けるということはないがそれは締めっぽい fact2: 「「退去するしさらに出走馬だ」ということは嘘な」ものはある fact3: もしもこの食事療養が主立つとしたらあのウェブビーコンは流れ続けないしさらに汚染原因者でない fact4: 何かは流れ続けるということはない一方で締めっぽいとしたら「あのトイレットペーパーは水臭い」ということは本当である fact5: もしあのウェブビーコンが使えるとするとこの食事療養は締めっぽくない fact6: もし仮になんらかのものは名誉であるということはなくてかつ受け渡ししないならば経時的変化である fact7: もしあの敵艦隊が主立つか聞き知るということはないとしたらこの食事療養は主立つ fact8: 何かは水臭いしそれは流れ続ける fact9: もしも「「退去するしおまけに出走馬である」ということは間違っている」ものがあるならあのウェブビーコンは使える fact10: もし仮にあのウェブビーコンが使えなくてかつそれが締めっぽくないならあのトイレットペーパーは水臭くない fact11: あの工業構造は流れ続ける fact12: 経時的変化は主立つか聞き知らないか両方ともである
fact2 & fact9 -> int1: あのウェブビーコンは使える; int1 & fact5 -> int2: この食事療養は締めっぽくない; int2 & fact1 -> int3: あの敵艦隊は流れ続けないけれど締めっぽい; int3 -> int4: 「流れ続けないが締めっぽい」物はある; int4 & fact4 -> hypothesis;
あのトイレットペーパーは水臭くない
fact17 -> int5: もし仮にあの敵艦隊は経時的変化であるとすると主立つかまたは聞き知るということはない; fact13 -> int6: もしもあの敵艦隊が名誉でないし加えてそれが受け渡ししないとすると経時的変化である;
$facts$ = fact1: もしこの食事療養が締めっぽくないとしたらあの敵艦隊は流れ続けるということはないがそれは締めっぽい fact2: 「「退去するしさらに出走馬だ」ということは嘘な」ものはある fact3: もしもこの食事療養が主立つとしたらあのウェブビーコンは流れ続けないしさらに汚染原因者でない fact4: 何かは流れ続けるということはない一方で締めっぽいとしたら「あのトイレットペーパーは水臭い」ということは本当である fact5: もしあのウェブビーコンが使えるとするとこの食事療養は締めっぽくない fact6: もし仮になんらかのものは名誉であるということはなくてかつ受け渡ししないならば経時的変化である fact7: もしあの敵艦隊が主立つか聞き知るということはないとしたらこの食事療養は主立つ fact8: 何かは水臭いしそれは流れ続ける fact9: もしも「「退去するしおまけに出走馬である」ということは間違っている」ものがあるならあのウェブビーコンは使える fact10: もし仮にあのウェブビーコンが使えなくてかつそれが締めっぽくないならあのトイレットペーパーは水臭くない fact11: あの工業構造は流れ続ける fact12: 経時的変化は主立つか聞き知らないか両方ともである ; $hypothesis$ = あのトイレットペーパーは水臭くない ; $proof$ = 
fact2 & fact9 -> int1: あのウェブビーコンは使える; int1 & fact5 -> int2: この食事療養は締めっぽくない; int2 & fact1 -> int3: あの敵艦隊は流れ続けないけれど締めっぽい; int3 -> int4: 「流れ続けないが締めっぽい」物はある; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: もしこの食事療養が締めっぽくないとしたらあの敵艦隊は流れ続けるということはないがそれは締めっぽい
事実2: 「「退去するしさらに出走馬だ」ということは嘘な」ものはある
事実3: もしもこの食事療養が主立つとしたらあのウェブビーコンは流れ続けないしさらに汚染原因者でない
事実4: 何かは流れ続けるということはない一方で締めっぽいとしたら「あのトイレットペーパーは水臭い」ということは本当である
事実5: もしあのウェブビーコンが使えるとするとこの食事療養は締めっぽくない
事実6: もし仮になんらかのものは名誉であるということはなくてかつ受け渡ししないならば経時的変化である
事実7: もしあの敵艦隊が主立つか聞き知るということはないとしたらこの食事療養は主立つ
事実8: 何かは水臭いしそれは流れ続ける
事実9: もしも「「退去するしおまけに出走馬である」ということは間違っている」ものがあるならあのウェブビーコンは使える
事実10: もし仮にあのウェブビーコンが使えなくてかつそれが締めっぽくないならあのトイレットペーパーは水臭くない
事実11: あの工業構造は流れ続ける
事実12: 経時的変化は主立つか聞き知らないか両方ともである

仮説: あのトイレットペーパーは水臭くない
1. 事実2と事実9から、推論1: "あのウェブビーコンは使える"が導かれる
2. 推論1と事実5から、推論2: "この食事療養は締めっぽくない"が導かれる
3. 推論2と事実1から、推論3: "あの敵艦隊は流れ続けないけれど締めっぽい"が導かれる
4. 推論3から、推論4: "「流れ続けないが締めっぽい」物はある"が導かれる
5. 推論4と事実4から、仮説が否定される

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