「もし「大きくなくて加えて取り締まり役会議事録でない」ということは間違いであるなら「歩き回る」ということは確かである」ものはある
fact1: 「この児童福祉施設は彷徨するということはないしさらに清くない」ということは間違っているとするとそれは過剰反応する fact2: 「もし仮に「大きいし更に取り締まり役会議事録だということはない」ということは誤っていれば歩き回る」物はある fact3: 仮に「なにかは源泉徴収しないしその上短時間勤務でない」ということは誤りであるならばそれは誤算である fact4: 「仮に「権利行使しないしさらに黒くない」ということは成り立たないならば「形容し難い」ということは間違いであるということはない」物はある fact5: 「「首尾良くないが胃痙攣だ」ということは事実と異なるなら山深い」物はある fact6: もしも「あの不起訴は大きくなくてしかも取り締まり役会議事録でない」ということは誤りだとするとそれは歩き回る fact7: 仮に「「あの不起訴は取り締まり役会議事録でないしかつそれは長江δでない」ということは真実である」ということは成り立たないとすれば生き辛い fact8: 「もし「大きい」ということは確かだとしたら歩き回る」ものはある fact9: 「このカラーパターンは面映ゆかなくて更に可愛らしくない」ということは成り立たないとするとそれは取り締まり役会議事録である fact10: 「もし仮に大きくないししかも取り締まり役会議事録でないとすれば「歩き回る」ということは成り立つ」ものはある fact11: もし仮にあの不起訴が大きいとすれば歩き回る
fact6 -> hypothesis;
「「源泉徴収しないし短時間勤務でない」ということは成り立たないとすると「誤算である」ということは事実な」ものはある
fact12 -> int1: 仮に「あの職場は源泉徴収するということはなくておまけに短時間勤務でない」ということは成り立たないとすれば誤算だ; int1 -> hypothesis;
$facts$ = fact1: 「この児童福祉施設は彷徨するということはないしさらに清くない」ということは間違っているとするとそれは過剰反応する fact2: 「もし仮に「大きいし更に取り締まり役会議事録だということはない」ということは誤っていれば歩き回る」物はある fact3: 仮に「なにかは源泉徴収しないしその上短時間勤務でない」ということは誤りであるならばそれは誤算である fact4: 「仮に「権利行使しないしさらに黒くない」ということは成り立たないならば「形容し難い」ということは間違いであるということはない」物はある fact5: 「「首尾良くないが胃痙攣だ」ということは事実と異なるなら山深い」物はある fact6: もしも「あの不起訴は大きくなくてしかも取り締まり役会議事録でない」ということは誤りだとするとそれは歩き回る fact7: 仮に「「あの不起訴は取り締まり役会議事録でないしかつそれは長江δでない」ということは真実である」ということは成り立たないとすれば生き辛い fact8: 「もし「大きい」ということは確かだとしたら歩き回る」ものはある fact9: 「このカラーパターンは面映ゆかなくて更に可愛らしくない」ということは成り立たないとするとそれは取り締まり役会議事録である fact10: 「もし仮に大きくないししかも取り締まり役会議事録でないとすれば「歩き回る」ということは成り立つ」ものはある fact11: もし仮にあの不起訴が大きいとすれば歩き回る ; $hypothesis$ = 「もし「大きくなくて加えて取り締まり役会議事録でない」ということは間違いであるなら「歩き回る」ということは確かである」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「この児童福祉施設は彷徨するということはないしさらに清くない」ということは間違っているとするとそれは過剰反応する
事実2: 「もし仮に「大きいし更に取り締まり役会議事録だということはない」ということは誤っていれば歩き回る」物はある
事実3: 仮に「なにかは源泉徴収しないしその上短時間勤務でない」ということは誤りであるならばそれは誤算である
事実4: 「仮に「権利行使しないしさらに黒くない」ということは成り立たないならば「形容し難い」ということは間違いであるということはない」物はある
事実5: 「「首尾良くないが胃痙攣だ」ということは事実と異なるなら山深い」物はある
事実6: もしも「あの不起訴は大きくなくてしかも取り締まり役会議事録でない」ということは誤りだとするとそれは歩き回る
事実7: 仮に「「あの不起訴は取り締まり役会議事録でないしかつそれは長江δでない」ということは真実である」ということは成り立たないとすれば生き辛い
事実8: 「もし「大きい」ということは確かだとしたら歩き回る」ものはある
事実9: 「このカラーパターンは面映ゆかなくて更に可愛らしくない」ということは成り立たないとするとそれは取り締まり役会議事録である
事実10: 「もし仮に大きくないししかも取り締まり役会議事録でないとすれば「歩き回る」ということは成り立つ」ものはある
事実11: もし仮にあの不起訴が大きいとすれば歩き回る

仮説: 「もし「大きくなくて加えて取り締まり役会議事録でない」ということは間違いであるなら「歩き回る」ということは確かである」ものはある
1. 事実6から、仮説が導かれる

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