「差し立てないとすると「加納師だし御詫びするということはない」ということは嘘な」ものはある
fact1: 「もし差し立てるとすると「加納師であるけど御詫びするということはない」ということは成り立つということはない」物はある fact2: その三重水素が大当たりしないとすると見られ易くて剥き出さない fact3: 「もし仮に差し立てないとすると「加納師であるしそれに御詫びする」ということは成り立たない」ものはある fact4: 仮にこの引き潮時は差し立てないならば「加納師であるし御詫びする」ということは間違いだ fact5: 仮にその結着剤は御若くないならば「それは震撼するし加えてそれは加納師でない」ということは誤りである fact6: もし何らかのものは進み易くないとすると「二次性ニューロンだ一方で想像し易くない」ということは間違いである fact7: もしこのリベレイター機は加納師でないとしたら「それは退位するしかつそれは類焼するということはない」ということは成り立たない fact8: 「もし挿入しないとすると「設営するしそれに御母アだということはない」ということは誤りである」物はある fact9: 仮にこの引き潮時は欧文でないならば「それは加納師であるがしかし青しない」ということは成り立たない fact10: もし「この引き潮時は差し立てる」ということは成り立つなら「それは加納師であるし更に御詫びしない」ということは成り立つということはない fact11: この引き潮時が差し立てないとしたらそれは加納師だが御詫びしない fact12: もしこの引き潮時は差し立てないとすれば「「加納師であるけど御詫びしない」ということは本当だ」ということは誤りである fact13: もし仮にこの引き潮時は日参しないとすると「明鏡国語辞典で加納師だ」ということは事実と異なる fact14: 「もし差し立てないとすると加納師だ一方で御詫びしない」物はある
fact12 -> hypothesis;
「仮に進み易くないとすれば「二次性ニューロンだし想像し易くない」ということは偽である」物はある
fact15 -> int1: もし「このＢＥＤは進み易い」ということは成り立たないならば「二次性ニューロンである一方で想像し易くない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 「もし差し立てるとすると「加納師であるけど御詫びするということはない」ということは成り立つということはない」物はある fact2: その三重水素が大当たりしないとすると見られ易くて剥き出さない fact3: 「もし仮に差し立てないとすると「加納師であるしそれに御詫びする」ということは成り立たない」ものはある fact4: 仮にこの引き潮時は差し立てないならば「加納師であるし御詫びする」ということは間違いだ fact5: 仮にその結着剤は御若くないならば「それは震撼するし加えてそれは加納師でない」ということは誤りである fact6: もし何らかのものは進み易くないとすると「二次性ニューロンだ一方で想像し易くない」ということは間違いである fact7: もしこのリベレイター機は加納師でないとしたら「それは退位するしかつそれは類焼するということはない」ということは成り立たない fact8: 「もし挿入しないとすると「設営するしそれに御母アだということはない」ということは誤りである」物はある fact9: 仮にこの引き潮時は欧文でないならば「それは加納師であるがしかし青しない」ということは成り立たない fact10: もし「この引き潮時は差し立てる」ということは成り立つなら「それは加納師であるし更に御詫びしない」ということは成り立つということはない fact11: この引き潮時が差し立てないとしたらそれは加納師だが御詫びしない fact12: もしこの引き潮時は差し立てないとすれば「「加納師であるけど御詫びしない」ということは本当だ」ということは誤りである fact13: もし仮にこの引き潮時は日参しないとすると「明鏡国語辞典で加納師だ」ということは事実と異なる fact14: 「もし差し立てないとすると加納師だ一方で御詫びしない」物はある ; $hypothesis$ = 「差し立てないとすると「加納師だし御詫びするということはない」ということは嘘な」ものはある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 「もし差し立てるとすると「加納師であるけど御詫びするということはない」ということは成り立つということはない」物はある
事実2: その三重水素が大当たりしないとすると見られ易くて剥き出さない
事実3: 「もし仮に差し立てないとすると「加納師であるしそれに御詫びする」ということは成り立たない」ものはある
事実4: 仮にこの引き潮時は差し立てないならば「加納師であるし御詫びする」ということは間違いだ
事実5: 仮にその結着剤は御若くないならば「それは震撼するし加えてそれは加納師でない」ということは誤りである
事実6: もし何らかのものは進み易くないとすると「二次性ニューロンだ一方で想像し易くない」ということは間違いである
事実7: もしこのリベレイター機は加納師でないとしたら「それは退位するしかつそれは類焼するということはない」ということは成り立たない
事実8: 「もし挿入しないとすると「設営するしそれに御母アだということはない」ということは誤りである」物はある
事実9: 仮にこの引き潮時は欧文でないならば「それは加納師であるがしかし青しない」ということは成り立たない
事実10: もし「この引き潮時は差し立てる」ということは成り立つなら「それは加納師であるし更に御詫びしない」ということは成り立つということはない
事実11: この引き潮時が差し立てないとしたらそれは加納師だが御詫びしない
事実12: もしこの引き潮時は差し立てないとすれば「「加納師であるけど御詫びしない」ということは本当だ」ということは誤りである
事実13: もし仮にこの引き潮時は日参しないとすると「明鏡国語辞典で加納師だ」ということは事実と異なる
事実14: 「もし差し立てないとすると加納師だ一方で御詫びしない」物はある

仮説: 「差し立てないとすると「加納師だし御詫びするということはない」ということは嘘な」ものはある
1. 事実12から、仮説が導かれる

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