「もし仮に給油しないならば「新文学でないしさらに八箇月間であるということはない」ということは成り立つ」ものはある
fact1: 「もしも明言するということはないとすると自然らしいということはなくてかつ受け止める」ものはある fact2: 「もし仮に出難くないとしたら大集会でない」ものはある fact3: 「もしも飛行機らしくないとすれば安楽死しないしさらに潔くない」ものはある fact4: 「「もし仮に日本人離れしないとすると「刺激し合わない」ということは成り立つ」物はある」ということは成り立つ fact5: 「「狡っ辛くない」ということは成り立つとすれば掴み切れるしまた私有化でない」ものはある fact6: あのパスウエーＳが出難くないとすればそれは給油しなくてかつ利用し辛いということはない fact7: 「図示出来ないとすると播種期でない」物はある fact8: 「もし仮に「応変でない」ということは事実であるなら「手続き的権利であるしまた製品輸入だということはない」ということは確かである」物はある fact9: もしあのパスウエーＳが八箇月間でないならば喚き散らさなくてかつそれは利益集団でない fact10: もしあのパスウエーＳが繰り下げるとすればそれは入り切らないし給油しない fact11: もしもあのパスウエーＳが八箇月間でないとすれば厳つかない fact12: 仮に何かは刺激し合わないならばそれは作用し合うということはないししかもそれは覚え易いということはない fact13: もしあのパスウエーＳは新文学でないとしたらそれは潔くない fact14: もしもあのパスウエーＳが給油しないとすればそれは新文学でない fact15: もしも何かは過形成でないならそれは大号令でなくてそれは駐屯所でない fact16: もしあのパスウエーＳが給油しないとするとそれは新文学でなくて八箇月間でない fact17: 「もし仮に受け止めないとすると収入面でないしさらに良くない」物はある fact18: もしあのパスウエーＳが確からしいとすると新文学でなくておまけに真菌でない fact19: もし仮にこの争訟は新文学でないならば空く終わらないしさらに潔くない fact20: もしあのパスウエーＳが八箇月間でないとしたら帰しないしさらにそれは入り切る fact21: 「もし仮にそそっかしいということはないなら土地土地でしかもとろ臭くない」物はある
fact16 -> hypothesis;
「刺激し合わないとしたら作用し合うということはなくてそれに覚え易くない」ものはある
fact22 -> int1: もしそのイラク軍は刺激し合わないなら「作用し合うということはないし加えてそれは覚え易くない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「もしも明言するということはないとすると自然らしいということはなくてかつ受け止める」ものはある fact2: 「もし仮に出難くないとしたら大集会でない」ものはある fact3: 「もしも飛行機らしくないとすれば安楽死しないしさらに潔くない」ものはある fact4: 「「もし仮に日本人離れしないとすると「刺激し合わない」ということは成り立つ」物はある」ということは成り立つ fact5: 「「狡っ辛くない」ということは成り立つとすれば掴み切れるしまた私有化でない」ものはある fact6: あのパスウエーＳが出難くないとすればそれは給油しなくてかつ利用し辛いということはない fact7: 「図示出来ないとすると播種期でない」物はある fact8: 「もし仮に「応変でない」ということは事実であるなら「手続き的権利であるしまた製品輸入だということはない」ということは確かである」物はある fact9: もしあのパスウエーＳが八箇月間でないならば喚き散らさなくてかつそれは利益集団でない fact10: もしあのパスウエーＳが繰り下げるとすればそれは入り切らないし給油しない fact11: もしもあのパスウエーＳが八箇月間でないとすれば厳つかない fact12: 仮に何かは刺激し合わないならばそれは作用し合うということはないししかもそれは覚え易いということはない fact13: もしあのパスウエーＳは新文学でないとしたらそれは潔くない fact14: もしもあのパスウエーＳが給油しないとすればそれは新文学でない fact15: もしも何かは過形成でないならそれは大号令でなくてそれは駐屯所でない fact16: もしあのパスウエーＳが給油しないとするとそれは新文学でなくて八箇月間でない fact17: 「もし仮に受け止めないとすると収入面でないしさらに良くない」物はある fact18: もしあのパスウエーＳが確からしいとすると新文学でなくておまけに真菌でない fact19: もし仮にこの争訟は新文学でないならば空く終わらないしさらに潔くない fact20: もしあのパスウエーＳが八箇月間でないとしたら帰しないしさらにそれは入り切る fact21: 「もし仮にそそっかしいということはないなら土地土地でしかもとろ臭くない」物はある ; $hypothesis$ = 「もし仮に給油しないならば「新文学でないしさらに八箇月間であるということはない」ということは成り立つ」ものはある ; $proof$ = 
fact16 -> hypothesis; __PROVED__
事実1: 「もしも明言するということはないとすると自然らしいということはなくてかつ受け止める」ものはある
事実2: 「もし仮に出難くないとしたら大集会でない」ものはある
事実3: 「もしも飛行機らしくないとすれば安楽死しないしさらに潔くない」ものはある
事実4: 「「もし仮に日本人離れしないとすると「刺激し合わない」ということは成り立つ」物はある」ということは成り立つ
事実5: 「「狡っ辛くない」ということは成り立つとすれば掴み切れるしまた私有化でない」ものはある
事実6: あのパスウエーＳが出難くないとすればそれは給油しなくてかつ利用し辛いということはない
事実7: 「図示出来ないとすると播種期でない」物はある
事実8: 「もし仮に「応変でない」ということは事実であるなら「手続き的権利であるしまた製品輸入だということはない」ということは確かである」物はある
事実9: もしあのパスウエーＳが八箇月間でないならば喚き散らさなくてかつそれは利益集団でない
事実10: もしあのパスウエーＳが繰り下げるとすればそれは入り切らないし給油しない
事実11: もしもあのパスウエーＳが八箇月間でないとすれば厳つかない
事実12: 仮に何かは刺激し合わないならばそれは作用し合うということはないししかもそれは覚え易いということはない
事実13: もしあのパスウエーＳは新文学でないとしたらそれは潔くない
事実14: もしもあのパスウエーＳが給油しないとすればそれは新文学でない
事実15: もしも何かは過形成でないならそれは大号令でなくてそれは駐屯所でない
事実16: もしあのパスウエーＳが給油しないとするとそれは新文学でなくて八箇月間でない
事実17: 「もし仮に受け止めないとすると収入面でないしさらに良くない」物はある
事実18: もしあのパスウエーＳが確からしいとすると新文学でなくておまけに真菌でない
事実19: もし仮にこの争訟は新文学でないならば空く終わらないしさらに潔くない
事実20: もしあのパスウエーＳが八箇月間でないとしたら帰しないしさらにそれは入り切る
事実21: 「もし仮にそそっかしいということはないなら土地土地でしかもとろ臭くない」物はある

仮説: 「もし仮に給油しないならば「新文学でないしさらに八箇月間であるということはない」ということは成り立つ」ものはある
1. 事実16から、仮説が導かれる

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