「もし「出展者でなくて加えて安全性等でない」ということは事実と異なるならはためかない」ものはある
fact1: 「もしも出展者でなくておまけに安全性等でないとすればはためくということはない」物はある fact2: 「もしも出展者だとすればはためくということはない」物はある fact3: もし「あの東京都公文書館蔵は出展者だがしかし安全性等でない」ということは誤りならばはためかない fact4: 「「出展者でないし更に安全性等でない」ということは間違いだとするとはためく」物はある fact5: もし仮に「あの東京都公文書館蔵は出展者であるということはなくて安全性等でない」ということは偽ならばはためかない fact6: 「「仮に「主権免除でなくて加えて下向きであるということはない」ということは間違いであるとすれば書き易いということはない」物はある」ということは事実だ fact7: もし仮に「なにがしかのものは売店でないしさらにおっかしくない」ということは成り立つということはないならそれは新しくない fact8: 「あの東京都公文書館蔵は現像しないしそれに出展者でない」ということは偽であるなら心安くない fact9: 「「もし仮に「心地良くなくて強くない」ということは誤りだとすると彼らしくない」物はある」ということは確かだ fact10: 「仮に「立項しないし吸い寄せる」ということは間違っているとしたら螺旋でない」物はある fact11: 仮に「あの東京都公文書館蔵は取り返せないし更にそれははためかない」ということは偽だとすると出しゃばらない fact12: 「安全性等ならはためかない」物はある fact13: 仮にあの東京都公文書館蔵は安全性等であるとすればはためかない fact14: 「「吸い寄せるということはないしおまけに空港側でない」ということは成り立たないとすれば「海草類でない」ということは成り立つ」物はある fact15: 「もし仮に「出展者であるしその上安全性等でない」ということは成り立たないとしたらはためかない」物はある fact16: 「あの東京都公文書館蔵は出展者だということはなくて安全性等でない」ということは誤っているとしたら「それははためく」ということは成り立つ fact17: あの東京都公文書館蔵が出展者でないし安全性等でないとすればそれははためくということはない fact18: 「もし「凄くないしその上惜しくない」ということは誤りであるとすると「尽くない」ということは成り立つ」ものはある
fact5 -> hypothesis;
fact5 -> hypothesis;
「もしも「売店であるということはないしおっかしいということはない」ということは誤っているとすれば新しいということはない」物はある
fact19 -> int1: もし仮に「あの牧人は売店でないしおまけにそれはおっかしくない」ということは成り立たないなら「それは新しくない」ということは偽でない; int1 -> hypothesis;
$facts$ = fact1: 「もしも出展者でなくておまけに安全性等でないとすればはためくということはない」物はある fact2: 「もしも出展者だとすればはためくということはない」物はある fact3: もし「あの東京都公文書館蔵は出展者だがしかし安全性等でない」ということは誤りならばはためかない fact4: 「「出展者でないし更に安全性等でない」ということは間違いだとするとはためく」物はある fact5: もし仮に「あの東京都公文書館蔵は出展者であるということはなくて安全性等でない」ということは偽ならばはためかない fact6: 「「仮に「主権免除でなくて加えて下向きであるということはない」ということは間違いであるとすれば書き易いということはない」物はある」ということは事実だ fact7: もし仮に「なにがしかのものは売店でないしさらにおっかしくない」ということは成り立つということはないならそれは新しくない fact8: 「あの東京都公文書館蔵は現像しないしそれに出展者でない」ということは偽であるなら心安くない fact9: 「「もし仮に「心地良くなくて強くない」ということは誤りだとすると彼らしくない」物はある」ということは確かだ fact10: 「仮に「立項しないし吸い寄せる」ということは間違っているとしたら螺旋でない」物はある fact11: 仮に「あの東京都公文書館蔵は取り返せないし更にそれははためかない」ということは偽だとすると出しゃばらない fact12: 「安全性等ならはためかない」物はある fact13: 仮にあの東京都公文書館蔵は安全性等であるとすればはためかない fact14: 「「吸い寄せるということはないしおまけに空港側でない」ということは成り立たないとすれば「海草類でない」ということは成り立つ」物はある fact15: 「もし仮に「出展者であるしその上安全性等でない」ということは成り立たないとしたらはためかない」物はある fact16: 「あの東京都公文書館蔵は出展者だということはなくて安全性等でない」ということは誤っているとしたら「それははためく」ということは成り立つ fact17: あの東京都公文書館蔵が出展者でないし安全性等でないとすればそれははためくということはない fact18: 「もし「凄くないしその上惜しくない」ということは誤りであるとすると「尽くない」ということは成り立つ」ものはある ; $hypothesis$ = 「もし「出展者でなくて加えて安全性等でない」ということは事実と異なるならはためかない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もしも出展者でなくておまけに安全性等でないとすればはためくということはない」物はある
事実2: 「もしも出展者だとすればはためくということはない」物はある
事実3: もし「あの東京都公文書館蔵は出展者だがしかし安全性等でない」ということは誤りならばはためかない
事実4: 「「出展者でないし更に安全性等でない」ということは間違いだとするとはためく」物はある
事実5: もし仮に「あの東京都公文書館蔵は出展者であるということはなくて安全性等でない」ということは偽ならばはためかない
事実6: 「「仮に「主権免除でなくて加えて下向きであるということはない」ということは間違いであるとすれば書き易いということはない」物はある」ということは事実だ
事実7: もし仮に「なにがしかのものは売店でないしさらにおっかしくない」ということは成り立つということはないならそれは新しくない
事実8: 「あの東京都公文書館蔵は現像しないしそれに出展者でない」ということは偽であるなら心安くない
事実9: 「「もし仮に「心地良くなくて強くない」ということは誤りだとすると彼らしくない」物はある」ということは確かだ
事実10: 「仮に「立項しないし吸い寄せる」ということは間違っているとしたら螺旋でない」物はある
事実11: 仮に「あの東京都公文書館蔵は取り返せないし更にそれははためかない」ということは偽だとすると出しゃばらない
事実12: 「安全性等ならはためかない」物はある
事実13: 仮にあの東京都公文書館蔵は安全性等であるとすればはためかない
事実14: 「「吸い寄せるということはないしおまけに空港側でない」ということは成り立たないとすれば「海草類でない」ということは成り立つ」物はある
事実15: 「もし仮に「出展者であるしその上安全性等でない」ということは成り立たないとしたらはためかない」物はある
事実16: 「あの東京都公文書館蔵は出展者だということはなくて安全性等でない」ということは誤っているとしたら「それははためく」ということは成り立つ
事実17: あの東京都公文書館蔵が出展者でないし安全性等でないとすればそれははためくということはない
事実18: 「もし「凄くないしその上惜しくない」ということは誤りであるとすると「尽くない」ということは成り立つ」ものはある

仮説: 「もし「出展者でなくて加えて安全性等でない」ということは事実と異なるならはためかない」ものはある
1. 事実5から、仮説が導かれる

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