「「もしも「ゲートでないしさらに和らがない」ということは成り立たないとすれば離る」ものはある」ということは偽である
fact1: この兆しはゲートであるとすればそれは離る fact2: 「もしもつれないとすると落葉低木な」ものはある fact3: もし仮に「ある物はゲートでない一方で和らぐ」ということは間違いだとしたら離る fact4: 「もしゲートであるなら離る」ものはある fact5: 「何らかの物がゲートでないしさらに和らはない」ということは成り立たないとしたら離る fact6: もしもなんらかのものがゲートだとすると離る fact7: 「仮に街らしくないし自然消滅するということはないとすれば破綻懸念先である」物はある fact8: 仮に「この兆しはゲートだということはないけれどそれは和らぐ」ということは間違っているなら「離る」ということは確かである fact9: もし「ある物は首尾良くないし更に激しくない」ということは成り立たないとするとそれは町制である fact10: 仮にこの兆しはゲートでないしさらに和らぐということはないとしたらそれは離る fact11: 「仮に「ゲートでないし和らぐ」ということは成り立たないとすると離る」物はある fact12: 「仮に「「千円辺りでないし日本蛾塚山でない」ということは確かである」ということは間違いだとすると製品群Ａ製造工場な」ものはある fact13: 「この兆しは経営構造でないし更にそれは輝かさない」ということは誤りであるとすれば離る
fact5 -> int1: もし「この兆しはゲートでなくてまたそれは和らぐということはない」ということは誤りであるとすれば離る; int1 -> hypothesis;
$facts$ = fact1: この兆しはゲートであるとすればそれは離る fact2: 「もしもつれないとすると落葉低木な」ものはある fact3: もし仮に「ある物はゲートでない一方で和らぐ」ということは間違いだとしたら離る fact4: 「もしゲートであるなら離る」ものはある fact5: 「何らかの物がゲートでないしさらに和らはない」ということは成り立たないとしたら離る fact6: もしもなんらかのものがゲートだとすると離る fact7: 「仮に街らしくないし自然消滅するということはないとすれば破綻懸念先である」物はある fact8: 仮に「この兆しはゲートだということはないけれどそれは和らぐ」ということは間違っているなら「離る」ということは確かである fact9: もし「ある物は首尾良くないし更に激しくない」ということは成り立たないとするとそれは町制である fact10: 仮にこの兆しはゲートでないしさらに和らぐということはないとしたらそれは離る fact11: 「仮に「ゲートでないし和らぐ」ということは成り立たないとすると離る」物はある fact12: 「仮に「「千円辺りでないし日本蛾塚山でない」ということは確かである」ということは間違いだとすると製品群Ａ製造工場な」ものはある fact13: 「この兆しは経営構造でないし更にそれは輝かさない」ということは誤りであるとすれば離る ; $hypothesis$ = 「「もしも「ゲートでないしさらに和らがない」ということは成り立たないとすれば離る」ものはある」ということは偽である ; $proof$ = 
fact5 -> int1: もし「この兆しはゲートでなくてまたそれは和らぐということはない」ということは誤りであるとすれば離る; int1 -> hypothesis; __DISPROVED__
事実1: この兆しはゲートであるとすればそれは離る
事実2: 「もしもつれないとすると落葉低木な」ものはある
事実3: もし仮に「ある物はゲートでない一方で和らぐ」ということは間違いだとしたら離る
事実4: 「もしゲートであるなら離る」ものはある
事実5: 「何らかの物がゲートでないしさらに和らはない」ということは成り立たないとしたら離る
事実6: もしもなんらかのものがゲートだとすると離る
事実7: 「仮に街らしくないし自然消滅するということはないとすれば破綻懸念先である」物はある
事実8: 仮に「この兆しはゲートだということはないけれどそれは和らぐ」ということは間違っているなら「離る」ということは確かである
事実9: もし「ある物は首尾良くないし更に激しくない」ということは成り立たないとするとそれは町制である
事実10: 仮にこの兆しはゲートでないしさらに和らぐということはないとしたらそれは離る
事実11: 「仮に「ゲートでないし和らぐ」ということは成り立たないとすると離る」物はある
事実12: 「仮に「「千円辺りでないし日本蛾塚山でない」ということは確かである」ということは間違いだとすると製品群Ａ製造工場な」ものはある
事実13: 「この兆しは経営構造でないし更にそれは輝かさない」ということは誤りであるとすれば離る

仮説: 「「もしも「ゲートでないしさらに和らがない」ということは成り立たないとすれば離る」ものはある」ということは偽である
1. 事実5から、推論1: "もし「この兆しはゲートでなくてまたそれは和らぐということはない」ということは誤りであるとすれば離る"が導かれる
2. 推論1から、仮説が否定される

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