「このディープリムデザインは雪深いしファイアーエムブレムである」ということは成り立たない
fact1: 「とある物は遮音性能基準でない一方でそれは火刑台だ」ということは成り立たないとすると火刑台であるということはない fact2: あの清潔感が晴れ渡るしその上それは人口流出である fact3: もしもこの上り口が資本会社ならこのアームは資本会社でない fact4: なんらかの物は薬臭くないとしたら「無冠でおまけに戻し易い」ということは成り立つということはない fact5: あの生命保険料控除額が火刑台だということはないならあの派閥争いは薬臭いということはない fact6: もし仮に「「「悪ししかつ調節しない」ということは成り立つ」ということは間違いである」ものがあるとすればあの人間以下は悪しということはない fact7: もし仮に「「南タワーでないが持ち逃げする」ということは間違いな」物があるとしたらこのアームは雪深くない fact8: 「その開業時は南タワーでないがしかしそれは持ち逃げする」ということは成り立たない fact9: もし仮にこの人間以下は悪しないとしたら「あの生命保険料控除額は遮音性能基準でない一方で火刑台である」ということは嘘である fact10: もしこのアームが雪深くないとすればこのディープリムデザインは雪深くてファイアーエムブレムだ fact11: もし仮になにがしかのものが無冠であるということはないならそれは資本会社であるかまたはそれは屈臂するかまたは両方ともだ fact12: もしもあの清潔感は晴れ渡るとすると「その素地は悪しけど調節しない」ということは成り立たない fact13: もしも「このアームは資本会社でない」ということは真実だとしたら「このディープリムデザインは雪深いしまたファイアーエムブレムだ」ということは成り立たない fact14: もし仮に「「無冠だしおまけに戻し易い」ということは偽な」ものがあるならこの上り口は無冠でない fact15: 「このアームは雪深いしおまけにファイアーエムブレムだ」ということは事実と異なる
fact8 -> int1: 「「南タワーでないがしかし持ち逃げする」ということは間違いである」物はある; int1 & fact7 -> int2: このアームは雪深いということはない; int2 & fact10 -> hypothesis;
「このディープリムデザインは雪深いししかもファイアーエムブレムだ」ということは事実と異なる
fact25 -> int3: 仮にこの上り口が無冠でないとしたら資本会社であるかあるいは屈臂するかもしくは両方ともだ; fact20 -> int4: あの派閥争いは薬臭くないとすれば「それは無冠であるしその上それは戻し易い」ということは成り立たない; fact24 -> int5: もしも「あの生命保険料控除額は遮音性能基準でない一方でそれは火刑台である」ということは間違いなら火刑台でない; fact19 -> int6: あの清潔感は晴れ渡る; fact26 & int6 -> int7: 「「その素地は悪しが調節しない」ということは成り立つ」ということは間違っている; int7 -> int8: 「「悪し一方で調節するということはない」ということは成り立たない」物はある; int8 & fact18 -> int9: この人間以下は悪しということはない; fact23 & int9 -> int10: 「あの生命保険料控除額は遮音性能基準でない一方で火刑台だ」ということは成り立たない; int5 & int10 -> int11: あの生命保険料控除額は火刑台でない; fact17 & int11 -> int12: あの派閥争いは薬臭くない; int4 & int12 -> int13: 「あの派閥争いは無冠であるしかつ戻し易い」ということは間違っている; int13 -> int14: 「「無冠であるしそれに戻し易い」ということは成り立たない」物はある; int14 & fact21 -> int15: この上り口は無冠でない; int3 & int15 -> int16: この上り口は資本会社であるかもしくはそれは屈臂するかあるいは両方ともである;
$facts$ = fact1: 「とある物は遮音性能基準でない一方でそれは火刑台だ」ということは成り立たないとすると火刑台であるということはない fact2: あの清潔感が晴れ渡るしその上それは人口流出である fact3: もしもこの上り口が資本会社ならこのアームは資本会社でない fact4: なんらかの物は薬臭くないとしたら「無冠でおまけに戻し易い」ということは成り立つということはない fact5: あの生命保険料控除額が火刑台だということはないならあの派閥争いは薬臭いということはない fact6: もし仮に「「「悪ししかつ調節しない」ということは成り立つ」ということは間違いである」ものがあるとすればあの人間以下は悪しということはない fact7: もし仮に「「南タワーでないが持ち逃げする」ということは間違いな」物があるとしたらこのアームは雪深くない fact8: 「その開業時は南タワーでないがしかしそれは持ち逃げする」ということは成り立たない fact9: もし仮にこの人間以下は悪しないとしたら「あの生命保険料控除額は遮音性能基準でない一方で火刑台である」ということは嘘である fact10: もしこのアームが雪深くないとすればこのディープリムデザインは雪深くてファイアーエムブレムだ fact11: もし仮になにがしかのものが無冠であるということはないならそれは資本会社であるかまたはそれは屈臂するかまたは両方ともだ fact12: もしもあの清潔感は晴れ渡るとすると「その素地は悪しけど調節しない」ということは成り立たない fact13: もしも「このアームは資本会社でない」ということは真実だとしたら「このディープリムデザインは雪深いしまたファイアーエムブレムだ」ということは成り立たない fact14: もし仮に「「無冠だしおまけに戻し易い」ということは偽な」ものがあるならこの上り口は無冠でない fact15: 「このアームは雪深いしおまけにファイアーエムブレムだ」ということは事実と異なる ; $hypothesis$ = 「このディープリムデザインは雪深いしファイアーエムブレムである」ということは成り立たない ; $proof$ = 
fact8 -> int1: 「「南タワーでないがしかし持ち逃げする」ということは間違いである」物はある; int1 & fact7 -> int2: このアームは雪深いということはない; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: 「とある物は遮音性能基準でない一方でそれは火刑台だ」ということは成り立たないとすると火刑台であるということはない
事実2: あの清潔感が晴れ渡るしその上それは人口流出である
事実3: もしもこの上り口が資本会社ならこのアームは資本会社でない
事実4: なんらかの物は薬臭くないとしたら「無冠でおまけに戻し易い」ということは成り立つということはない
事実5: あの生命保険料控除額が火刑台だということはないならあの派閥争いは薬臭いということはない
事実6: もし仮に「「「悪ししかつ調節しない」ということは成り立つ」ということは間違いである」ものがあるとすればあの人間以下は悪しということはない
事実7: もし仮に「「南タワーでないが持ち逃げする」ということは間違いな」物があるとしたらこのアームは雪深くない
事実8: 「その開業時は南タワーでないがしかしそれは持ち逃げする」ということは成り立たない
事実9: もし仮にこの人間以下は悪しないとしたら「あの生命保険料控除額は遮音性能基準でない一方で火刑台である」ということは嘘である
事実10: もしこのアームが雪深くないとすればこのディープリムデザインは雪深くてファイアーエムブレムだ
事実11: もし仮になにがしかのものが無冠であるということはないならそれは資本会社であるかまたはそれは屈臂するかまたは両方ともだ
事実12: もしもあの清潔感は晴れ渡るとすると「その素地は悪しけど調節しない」ということは成り立たない
事実13: もしも「このアームは資本会社でない」ということは真実だとしたら「このディープリムデザインは雪深いしまたファイアーエムブレムだ」ということは成り立たない
事実14: もし仮に「「無冠だしおまけに戻し易い」ということは偽な」ものがあるならこの上り口は無冠でない
事実15: 「このアームは雪深いしおまけにファイアーエムブレムだ」ということは事実と異なる

仮説: 「このディープリムデザインは雪深いしファイアーエムブレムである」ということは成り立たない
1. 事実8から、推論1: "「「南タワーでないがしかし持ち逃げする」ということは間違いである」物はある"が導かれる
2. 推論1と事実7から、推論2: "このアームは雪深いということはない"が導かれる
3. 推論2と事実10から、仮説が否定される

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