あの夏風は仕組まない
fact1: もしとあるものがこそばゆいか荒唐でないかあるいは両方ともであるならそれは仕組む fact2: もし仮にあの夏風は荒唐でないとすれば「仕組む」ということは成り立つ fact3: 仮にあるものは痛ーいかまたは広図書館蔵であるということはないか両方ともだとすればそれは浅い fact4: なんらかの物は崇拝する fact5: あの夏風はこそばゆいか荒唐だ fact6: もし仮に「「崇拝する」ということは成り立つ」物があるとしたらあの夏風はこそばゆいかもしくは荒唐でないかあるいは両方ともである fact7: もし仮にそのモデル船が崇拝しないし仕組まないとするとあの夏風は仕組まない fact8: 何かは薬理効果であるかもしくは受け易くないならば引き続く fact9: あるものは荒唐でないとすれば「それは仕組む」ということは本当である fact10: あの夏風は常識化する fact11: 「「崇拝する」ということは本当な」ものがあるとするとあの夏風はこそばゆいかあるいは荒唐であるか両方ともである fact12: 仮に何らかのものは出色であるかまたはそれは行き易いないかまたは両方であるとすればそれは絶対条件だ
fact4 & fact6 -> int1: 「あの夏風はこそばゆいかあるいはそれは荒唐であるということはない」ということは真実だ; fact1 -> int2: もしもあの夏風がこそばゆいかもしくはそれが荒唐でないとすればそれは仕組む; int1 & int2 -> hypothesis;
fact4 & fact6 -> int1: ({B}{a} v ¬{C}{a}); fact1 -> int2: ({B}{a} v ¬{C}{a}) -> {D}{a}; int1 & int2 -> hypothesis;
あの夏風は仕組まない
$facts$ = fact1: もしとあるものがこそばゆいか荒唐でないかあるいは両方ともであるならそれは仕組む fact2: もし仮にあの夏風は荒唐でないとすれば「仕組む」ということは成り立つ fact3: 仮にあるものは痛ーいかまたは広図書館蔵であるということはないか両方ともだとすればそれは浅い fact4: なんらかの物は崇拝する fact5: あの夏風はこそばゆいか荒唐だ fact6: もし仮に「「崇拝する」ということは成り立つ」物があるとしたらあの夏風はこそばゆいかもしくは荒唐でないかあるいは両方ともである fact7: もし仮にそのモデル船が崇拝しないし仕組まないとするとあの夏風は仕組まない fact8: 何かは薬理効果であるかもしくは受け易くないならば引き続く fact9: あるものは荒唐でないとすれば「それは仕組む」ということは本当である fact10: あの夏風は常識化する fact11: 「「崇拝する」ということは本当な」ものがあるとするとあの夏風はこそばゆいかあるいは荒唐であるか両方ともである fact12: 仮に何らかのものは出色であるかまたはそれは行き易いないかまたは両方であるとすればそれは絶対条件だ ; $hypothesis$ = あの夏風は仕組まない ; $proof$ = 
fact4 & fact6 -> int1: 「あの夏風はこそばゆいかあるいはそれは荒唐であるということはない」ということは真実だ; fact1 -> int2: もしもあの夏風がこそばゆいかもしくはそれが荒唐でないとすればそれは仕組む; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしとあるものがこそばゆいか荒唐でないかあるいは両方ともであるならそれは仕組む
事実2: もし仮にあの夏風は荒唐でないとすれば「仕組む」ということは成り立つ
事実3: 仮にあるものは痛ーいかまたは広図書館蔵であるということはないか両方ともだとすればそれは浅い
事実4: なんらかの物は崇拝する
事実5: あの夏風はこそばゆいか荒唐だ
事実6: もし仮に「「崇拝する」ということは成り立つ」物があるとしたらあの夏風はこそばゆいかもしくは荒唐でないかあるいは両方ともである
事実7: もし仮にそのモデル船が崇拝しないし仕組まないとするとあの夏風は仕組まない
事実8: 何かは薬理効果であるかもしくは受け易くないならば引き続く
事実9: あるものは荒唐でないとすれば「それは仕組む」ということは本当である
事実10: あの夏風は常識化する
事実11: 「「崇拝する」ということは本当な」ものがあるとするとあの夏風はこそばゆいかあるいは荒唐であるか両方ともである
事実12: 仮に何らかのものは出色であるかまたはそれは行き易いないかまたは両方であるとすればそれは絶対条件だ

仮説: あの夏風は仕組まない
1. 事実4と事実6から、推論1: "「あの夏風はこそばゆいかあるいはそれは荒唐であるということはない」ということは真実だ"が導かれる
2. 事実1から、推論2: "もしもあの夏風がこそばゆいかもしくはそれが荒唐でないとすればそれは仕組む"が導かれる
3. 推論1と推論2から、仮説が否定される

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