「あの麻薬取り引きは増長するしおまけに黄色っぽい」ということは成り立たない
fact1: 仮に「ある物は黄色っぽいがしかしそれは物憂くない」ということは成り立たないとすると「それは酷い」ということは成り立つ fact2: もしも「何らかの物は細かくない一方でそれは物憂い」ということは間違いであるとしたら物憂くない fact3: もしもあの女子が退化でないとすればあの麻薬取り引きは特定商取り引き法だしその上絶え間無い fact4: その弥生時代末は増長しないし細かくない fact5: もし仮にその弥生時代末が増長するということはないがそれは細かいとすれば「あの麻薬取り引きは増長する」ということは事実である fact6: もしその弥生時代末が増長するがしかし細かくないとすればあの麻薬取り引きは増長する fact7: ある物が細かいとすれば増長する fact8: もしあの女子が退化なら絶え間無くなくてまた両膝である fact9: あの女子は退化でない fact10: もしとある物は物憂くないなら「増長するししかも黄色っぽい」ということは成り立たない fact11: もし何かはダブル・クリックするとしたら「細かくなくてかつそれは両膝だ」ということは成り立たない fact12: 仮にその弥生時代末は特定商取り引き法でないとすると「あの麻薬取り引きは細かくないけど物憂い」ということは嘘である fact13: あの麻薬取り引きは申すしそれにみっともない fact14: もしもその弥生時代末が増長しないしそれが細かくないならあの麻薬取り引きは増長する fact15: あのＪＰＥＧ形式は細かい fact16: 「あの麻薬取り引きが黄色っぽいしその上それは物憂い」ということは成り立つ fact17: あの麻薬取り引きは物憂い fact18: もしも「なにがしかの物は細かくないが両膝だ」ということは偽であるとすればそれは細かい fact19: あの麻薬取り引きは特定商取り引き法であるなら「この捕虜虐待は黄色っぽい一方で物憂くない」ということは事実でない
fact16 -> int1: あの麻薬取り引きは黄色っぽい; fact4 & fact14 -> int2: 「あの麻薬取り引きは増長する」ということは成り立つ; int1 & int2 -> hypothesis;
この捕虜虐待は増長するし酷い
fact23 -> int3: もし「この捕虜虐待は細かくないがそれは両膝である」ということは嘘ならそれは細かい; fact20 -> int4: もしその弥生時代末はダブル・クリックするとすると「細かくないけど両膝だ」ということは間違っている; fact26 -> int5: この捕虜虐待が細かいなら増長する; fact25 -> int6: もし「この捕虜虐待は黄色っぽいけどそれは物憂いということはない」ということは間違っているとしたら酷い; fact21 & fact22 -> int7: あの麻薬取り引きは特定商取り引き法であるしその上それは絶え間無い; int7 -> int8: あの麻薬取り引きは特定商取り引き法である; int8 & fact24 -> int9: 「「この捕虜虐待は黄色っぽいけど物憂くない」ということは成り立たない」ということは事実だ; int6 & int9 -> int10: この捕虜虐待は酷い;
$facts$ = fact1: 仮に「ある物は黄色っぽいがしかしそれは物憂くない」ということは成り立たないとすると「それは酷い」ということは成り立つ fact2: もしも「何らかの物は細かくない一方でそれは物憂い」ということは間違いであるとしたら物憂くない fact3: もしもあの女子が退化でないとすればあの麻薬取り引きは特定商取り引き法だしその上絶え間無い fact4: その弥生時代末は増長しないし細かくない fact5: もし仮にその弥生時代末が増長するということはないがそれは細かいとすれば「あの麻薬取り引きは増長する」ということは事実である fact6: もしその弥生時代末が増長するがしかし細かくないとすればあの麻薬取り引きは増長する fact7: ある物が細かいとすれば増長する fact8: もしあの女子が退化なら絶え間無くなくてまた両膝である fact9: あの女子は退化でない fact10: もしとある物は物憂くないなら「増長するししかも黄色っぽい」ということは成り立たない fact11: もし何かはダブル・クリックするとしたら「細かくなくてかつそれは両膝だ」ということは成り立たない fact12: 仮にその弥生時代末は特定商取り引き法でないとすると「あの麻薬取り引きは細かくないけど物憂い」ということは嘘である fact13: あの麻薬取り引きは申すしそれにみっともない fact14: もしもその弥生時代末が増長しないしそれが細かくないならあの麻薬取り引きは増長する fact15: あのＪＰＥＧ形式は細かい fact16: 「あの麻薬取り引きが黄色っぽいしその上それは物憂い」ということは成り立つ fact17: あの麻薬取り引きは物憂い fact18: もしも「なにがしかの物は細かくないが両膝だ」ということは偽であるとすればそれは細かい fact19: あの麻薬取り引きは特定商取り引き法であるなら「この捕虜虐待は黄色っぽい一方で物憂くない」ということは事実でない ; $hypothesis$ = 「あの麻薬取り引きは増長するしおまけに黄色っぽい」ということは成り立たない ; $proof$ = 
fact16 -> int1: あの麻薬取り引きは黄色っぽい; fact4 & 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. 事実16から、推論1: "あの麻薬取り引きは黄色っぽい"が導かれる
2. 事実4と事実14から、推論2: "「あの麻薬取り引きは増長する」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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