「もし仮に「カット出来なくて化しない」ということは間違っているなら垂れ流すということはない」ものはある
fact1: 「「換気するということはないしその上不純物でない」ということは偽であるならば調節し易い」ものはある fact2: もし仮に「あの地溝帯はカット出来なくて更に化しない」ということは成り立つとしたら垂れ流さない fact3: もしもあの地溝帯が化するとすればそれは買い易くない fact4: 仮に「なにがしかの物はカット出来ないし化するということはない」ということは間違っているとすると「垂れ流さない」ということは確かだ fact5: 「追い落とさなくてそれに伝達出来ないとすれば立ち会わない」物はある fact6: 「仮にカット出来るとすると垂れ流さない」物はある fact7: もし「その別当は鞭打つがしかしそれはすばしこくない」ということは嘘であるとすればそれは久しいということはない fact8: 「もし「関するしかつ兼任するということはない」ということは成り立たないとすれば清しない」物はある fact9: 仮にとあるものは滑り始めなくて被支配者でないとするとそれは指摘すらない fact10: 仮に「あの地溝帯はカット出来なくてしかも化しない」ということは間違いだとすれば垂れ流す fact11: 「もしもフィードバック機構でなくてまたコミュニケーション行動であるということはないとすると野営しない」物はある
fact4 -> int1: もし「あの地溝帯はカット出来なくてしかも化しない」ということは成り立つということはないならば「それは垂れ流すということはない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「「換気するということはないしその上不純物でない」ということは偽であるならば調節し易い」ものはある fact2: もし仮に「あの地溝帯はカット出来なくて更に化しない」ということは成り立つとしたら垂れ流さない fact3: もしもあの地溝帯が化するとすればそれは買い易くない fact4: 仮に「なにがしかの物はカット出来ないし化するということはない」ということは間違っているとすると「垂れ流さない」ということは確かだ fact5: 「追い落とさなくてそれに伝達出来ないとすれば立ち会わない」物はある fact6: 「仮にカット出来るとすると垂れ流さない」物はある fact7: もし「その別当は鞭打つがしかしそれはすばしこくない」ということは嘘であるとすればそれは久しいということはない fact8: 「もし「関するしかつ兼任するということはない」ということは成り立たないとすれば清しない」物はある fact9: 仮にとあるものは滑り始めなくて被支配者でないとするとそれは指摘すらない fact10: 仮に「あの地溝帯はカット出来なくてしかも化しない」ということは間違いだとすれば垂れ流す fact11: 「もしもフィードバック機構でなくてまたコミュニケーション行動であるということはないとすると野営しない」物はある ; $hypothesis$ = 「もし仮に「カット出来なくて化しない」ということは間違っているなら垂れ流すということはない」ものはある ; $proof$ = 
fact4 -> int1: もし「あの地溝帯はカット出来なくてしかも化しない」ということは成り立つということはないならば「それは垂れ流すということはない」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: 「「換気するということはないしその上不純物でない」ということは偽であるならば調節し易い」ものはある
事実2: もし仮に「あの地溝帯はカット出来なくて更に化しない」ということは成り立つとしたら垂れ流さない
事実3: もしもあの地溝帯が化するとすればそれは買い易くない
事実4: 仮に「なにがしかの物はカット出来ないし化するということはない」ということは間違っているとすると「垂れ流さない」ということは確かだ
事実5: 「追い落とさなくてそれに伝達出来ないとすれば立ち会わない」物はある
事実6: 「仮にカット出来るとすると垂れ流さない」物はある
事実7: もし「その別当は鞭打つがしかしそれはすばしこくない」ということは嘘であるとすればそれは久しいということはない
事実8: 「もし「関するしかつ兼任するということはない」ということは成り立たないとすれば清しない」物はある
事実9: 仮にとあるものは滑り始めなくて被支配者でないとするとそれは指摘すらない
事実10: 仮に「あの地溝帯はカット出来なくてしかも化しない」ということは間違いだとすれば垂れ流す
事実11: 「もしもフィードバック機構でなくてまたコミュニケーション行動であるということはないとすると野営しない」物はある

仮説: 「もし仮に「カット出来なくて化しない」ということは間違っているなら垂れ流すということはない」ものはある
1. 事実4から、推論1: "もし「あの地溝帯はカット出来なくてしかも化しない」ということは成り立つということはないならば「それは垂れ流すということはない」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。