「その高機能自閉症は処罰す」ということは確かだ
fact1: 仮にあの人気薄が返りらしくないししかも飲み過ぎないとするとこの大名編成は空恐ろしくない fact2: 空恐ろしくない物は斜め薄切りだし更にけたたましい fact3: 仮に「なにかは骨関節だしかつそれは投げ飛ばす」ということは確かでないとしたら投げ飛ばさない fact4: 「あの人気薄は骨関節だしその上投げ飛ばす」ということは間違いだ fact5: もしも「あの人気薄は狡賢くないかもしくはすっごーいということはないかあるいは両方ともだ」ということは本当でないならばそれは飲み過ぎない fact6: もしも「あの人気薄は投げ飛ばさない」ということは正しいならば「それは言い出し難くないしそれは国事行為である」ということは成り立つということはない fact7: 仮に「あの人気薄は言い出し難くないが国事行為だ」ということは事実と異なれば「それは返りらしい」ということは事実と異なる fact8: もし仮にとある物が吸えるとしたらそれはクルーズ旅行でない fact9: この大名編成は吸えないが物珍しい fact10: この大名編成は吸えるということはないとすれば「あの人気薄は斜め薄切りでないけれど吸える」ということは誤りである fact11: もし「あの人気薄は斜め薄切りでないがしかし吸える」ということは嘘であるとすればその高機能自閉症はけたたましい fact12: もし仮にこの大名編成はけたたましいとしたら「その高機能自閉症は吸えないけれどそれは物珍しい」ということは成り立つということはない fact13: 何かはけたたましいなら処罰すらない fact14: 「何かは吸えないが物珍しい」ということは成り立たないならば処罰す
fact9 -> int1: この大名編成は吸えない; int1 & fact10 -> int2: 「あの人気薄は斜め薄切りでないが吸える」ということは偽だ; int2 & fact11 -> int3: その高機能自閉症はけたたましい; fact13 -> int4: もしその高機能自閉症はけたたましいとしたら「処罰すらない」ということは本当だ; int3 & int4 -> hypothesis;
もしもその高機能自閉症が吸えるとすればクルーズ旅行でない
fact15 -> hypothesis;
$facts$ = fact1: 仮にあの人気薄が返りらしくないししかも飲み過ぎないとするとこの大名編成は空恐ろしくない fact2: 空恐ろしくない物は斜め薄切りだし更にけたたましい fact3: 仮に「なにかは骨関節だしかつそれは投げ飛ばす」ということは確かでないとしたら投げ飛ばさない fact4: 「あの人気薄は骨関節だしその上投げ飛ばす」ということは間違いだ fact5: もしも「あの人気薄は狡賢くないかもしくはすっごーいということはないかあるいは両方ともだ」ということは本当でないならばそれは飲み過ぎない fact6: もしも「あの人気薄は投げ飛ばさない」ということは正しいならば「それは言い出し難くないしそれは国事行為である」ということは成り立つということはない fact7: 仮に「あの人気薄は言い出し難くないが国事行為だ」ということは事実と異なれば「それは返りらしい」ということは事実と異なる fact8: もし仮にとある物が吸えるとしたらそれはクルーズ旅行でない fact9: この大名編成は吸えないが物珍しい fact10: この大名編成は吸えるということはないとすれば「あの人気薄は斜め薄切りでないけれど吸える」ということは誤りである fact11: もし「あの人気薄は斜め薄切りでないがしかし吸える」ということは嘘であるとすればその高機能自閉症はけたたましい fact12: もし仮にこの大名編成はけたたましいとしたら「その高機能自閉症は吸えないけれどそれは物珍しい」ということは成り立つということはない fact13: 何かはけたたましいなら処罰すらない fact14: 「何かは吸えないが物珍しい」ということは成り立たないならば処罰す ; $hypothesis$ = 「その高機能自閉症は処罰す」ということは確かだ ; $proof$ = 
fact9 -> int1: この大名編成は吸えない; int1 & fact10 -> int2: 「あの人気薄は斜め薄切りでないが吸える」ということは偽だ; int2 & fact11 -> int3: その高機能自閉症はけたたましい; fact13 -> int4: もしその高機能自閉症はけたたましいとしたら「処罰すらない」ということは本当だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮にあの人気薄が返りらしくないししかも飲み過ぎないとするとこの大名編成は空恐ろしくない
事実2: 空恐ろしくない物は斜め薄切りだし更にけたたましい
事実3: 仮に「なにかは骨関節だしかつそれは投げ飛ばす」ということは確かでないとしたら投げ飛ばさない
事実4: 「あの人気薄は骨関節だしその上投げ飛ばす」ということは間違いだ
事実5: もしも「あの人気薄は狡賢くないかもしくはすっごーいということはないかあるいは両方ともだ」ということは本当でないならばそれは飲み過ぎない
事実6: もしも「あの人気薄は投げ飛ばさない」ということは正しいならば「それは言い出し難くないしそれは国事行為である」ということは成り立つということはない
事実7: 仮に「あの人気薄は言い出し難くないが国事行為だ」ということは事実と異なれば「それは返りらしい」ということは事実と異なる
事実8: もし仮にとある物が吸えるとしたらそれはクルーズ旅行でない
事実9: この大名編成は吸えないが物珍しい
事実10: この大名編成は吸えるということはないとすれば「あの人気薄は斜め薄切りでないけれど吸える」ということは誤りである
事実11: もし「あの人気薄は斜め薄切りでないがしかし吸える」ということは嘘であるとすればその高機能自閉症はけたたましい
事実12: もし仮にこの大名編成はけたたましいとしたら「その高機能自閉症は吸えないけれどそれは物珍しい」ということは成り立つということはない
事実13: 何かはけたたましいなら処罰すらない
事実14: 「何かは吸えないが物珍しい」ということは成り立たないならば処罰す

仮説: 「その高機能自閉症は処罰す」ということは確かだ
1. 事実9から、推論1: "この大名編成は吸えない"が導かれる
2. 推論1と事実10から、推論2: "「あの人気薄は斜め薄切りでないが吸える」ということは偽だ"が導かれる
3. 推論2と事実11から、推論3: "その高機能自閉症はけたたましい"が導かれる
4. 事実13から、推論4: "もしその高機能自閉症はけたたましいとしたら「処罰すらない」ということは本当だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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