「仮にヘリポートでないとしたら「雑穀でないし更に汚くない」ということは真実でない」物はある
fact1: 仮にこの御祖母さんはヘリポートでないならば「それは雑穀であるということはないし汚くない」ということは偽だ fact2: 「もしもヘリポートでないとすると雑穀でないし汚くない」物はある fact3: もし仮にこの御祖母さんはヘリポートであるなら「それは雑穀でなくてかつ汚くない」ということは間違いである fact4: もしこの御祖母さんが雑穀でないとすると事故原因でなくてかつそれはトルク変動だということはない fact5: 「その漁業は産出Ｙでない」ということは真実だとしたら「少ないということはないしそれはパラナ台地でない」ということは成り立たない fact6: 「この御祖母さんは御寿司でない」ということは成り立つなら「それは口さがないしおまけに力強くない」ということは成り立つということはない fact7: もしも「なにがしかの物は汚くない」ということは確かであるとすると「それは取り出すということはなくて更にそれは独り暮らしするということはない」ということは成り立たない fact8: 「もしも「ヘリポートでない」ということは事実と異なるということはないならば「雑穀であるけど汚くない」ということは誤りな」物はある fact9: もしもこの同研究所は小煩くないならば「それが副長だし雑穀でない」ということは嘘だ fact10: 仮にこの御祖母さんは錬成するということはないとすると「腑甲斐無くないしその上雑穀でない」ということは嘘である fact11: 「小煩いということはないなら「パラナ台地だということはないけど明言する」ということは成り立たない」ものはある fact12: 「もしも副長でないとすると「未履行でないしその上吹き続けない」ということは嘘である」物はある
fact1 -> hypothesis;
もしもその成立過程は汚くないなら「それは取り出さないし更に独り暮らししない」ということは間違いだ
fact13 -> hypothesis;
$facts$ = fact1: 仮にこの御祖母さんはヘリポートでないならば「それは雑穀であるということはないし汚くない」ということは偽だ fact2: 「もしもヘリポートでないとすると雑穀でないし汚くない」物はある fact3: もし仮にこの御祖母さんはヘリポートであるなら「それは雑穀でなくてかつ汚くない」ということは間違いである fact4: もしこの御祖母さんが雑穀でないとすると事故原因でなくてかつそれはトルク変動だということはない fact5: 「その漁業は産出Ｙでない」ということは真実だとしたら「少ないということはないしそれはパラナ台地でない」ということは成り立たない fact6: 「この御祖母さんは御寿司でない」ということは成り立つなら「それは口さがないしおまけに力強くない」ということは成り立つということはない fact7: もしも「なにがしかの物は汚くない」ということは確かであるとすると「それは取り出すということはなくて更にそれは独り暮らしするということはない」ということは成り立たない fact8: 「もしも「ヘリポートでない」ということは事実と異なるということはないならば「雑穀であるけど汚くない」ということは誤りな」物はある fact9: もしもこの同研究所は小煩くないならば「それが副長だし雑穀でない」ということは嘘だ fact10: 仮にこの御祖母さんは錬成するということはないとすると「腑甲斐無くないしその上雑穀でない」ということは嘘である fact11: 「小煩いということはないなら「パラナ台地だということはないけど明言する」ということは成り立たない」ものはある fact12: 「もしも副長でないとすると「未履行でないしその上吹き続けない」ということは嘘である」物はある ; $hypothesis$ = 「仮にヘリポートでないとしたら「雑穀でないし更に汚くない」ということは真実でない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮にこの御祖母さんはヘリポートでないならば「それは雑穀であるということはないし汚くない」ということは偽だ
事実2: 「もしもヘリポートでないとすると雑穀でないし汚くない」物はある
事実3: もし仮にこの御祖母さんはヘリポートであるなら「それは雑穀でなくてかつ汚くない」ということは間違いである
事実4: もしこの御祖母さんが雑穀でないとすると事故原因でなくてかつそれはトルク変動だということはない
事実5: 「その漁業は産出Ｙでない」ということは真実だとしたら「少ないということはないしそれはパラナ台地でない」ということは成り立たない
事実6: 「この御祖母さんは御寿司でない」ということは成り立つなら「それは口さがないしおまけに力強くない」ということは成り立つということはない
事実7: もしも「なにがしかの物は汚くない」ということは確かであるとすると「それは取り出すということはなくて更にそれは独り暮らしするということはない」ということは成り立たない
事実8: 「もしも「ヘリポートでない」ということは事実と異なるということはないならば「雑穀であるけど汚くない」ということは誤りな」物はある
事実9: もしもこの同研究所は小煩くないならば「それが副長だし雑穀でない」ということは嘘だ
事実10: 仮にこの御祖母さんは錬成するということはないとすると「腑甲斐無くないしその上雑穀でない」ということは嘘である
事実11: 「小煩いということはないなら「パラナ台地だということはないけど明言する」ということは成り立たない」ものはある
事実12: 「もしも副長でないとすると「未履行でないしその上吹き続けない」ということは嘘である」物はある

仮説: 「仮にヘリポートでないとしたら「雑穀でないし更に汚くない」ということは真実でない」物はある
1. 事実1から、仮説が導かれる

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