「もし内政干渉でないとすると「新しいしまた抗い難い」ということは誤りな」物はある
fact1: 仮にこの千九百四十一年夏は乗り易くないなら「新しいしそれは蠢く」ということは間違っている fact2: もしもあの木村王国は試験所であるということはないとすると「それは御相談するし新しい」ということは成り立たない fact3: 「もしも速度違反だということはないならば「到達出来るし入り辛い」ということは誤りな」物はある fact4: 「もし仮に手打ちだということはないとしたら「薄っぺらいし計算す」ということは成り立たない」物はある fact5: もしあの木村王国は内政干渉だとしたら「それは新しいしそれに抗い難い」ということは偽である fact6: 「手打ちでないならば「搾取分配するし分解され難い」ということは嘘な」ものはある fact7: 「慎み深くないとすれば「良くてさらに心強い」ということは嘘である」ものはある fact8: 「もし仮に行儀良くないとすると「「搾取分配するし危なっかしい」ということは正しい」ということは事実と異なる」物はある fact9: 「もし「内政干渉である」ということは真実だとすると「新しいしさらに抗い難い」ということは正しくない」ものはある fact10: もしなにがしかのものは抗い難くないならば「指揮監督するしおまけに飲み放題だ」ということは成り立たない fact11: 「もし「慣れ切らない」ということは成り立つとしたら「小高くてさらにＡ病院だ」ということは偽な」物はある fact12: 仮にあの木村王国は内政干渉でないとしたら「それは新しくてそれは抗い難い」ということは成り立つということはない fact13: もし仮にあの木村王国は内政干渉でないなら新しいし加えて抗い難い fact14: 「もし仮に「内政干渉だということはない」ということは真実ならば新しいしそれに抗い難い」物はある fact15: 「膨らみ立たないとすれば「焼けるし更に地方寺院だ」ということは真実でない」ものはある fact16: もしも何かは再発し易くないとしたら「それはキッズカートであるしその上常磐井家である」ということは成り立たない
fact12 -> hypothesis;
もしもこの清和天皇は抗い難くないとしたら「それは指揮監督するしおまけに飲み放題だ」ということは成り立たない
fact17 -> hypothesis;
$facts$ = fact1: 仮にこの千九百四十一年夏は乗り易くないなら「新しいしそれは蠢く」ということは間違っている fact2: もしもあの木村王国は試験所であるということはないとすると「それは御相談するし新しい」ということは成り立たない fact3: 「もしも速度違反だということはないならば「到達出来るし入り辛い」ということは誤りな」物はある fact4: 「もし仮に手打ちだということはないとしたら「薄っぺらいし計算す」ということは成り立たない」物はある fact5: もしあの木村王国は内政干渉だとしたら「それは新しいしそれに抗い難い」ということは偽である fact6: 「手打ちでないならば「搾取分配するし分解され難い」ということは嘘な」ものはある fact7: 「慎み深くないとすれば「良くてさらに心強い」ということは嘘である」ものはある fact8: 「もし仮に行儀良くないとすると「「搾取分配するし危なっかしい」ということは正しい」ということは事実と異なる」物はある fact9: 「もし「内政干渉である」ということは真実だとすると「新しいしさらに抗い難い」ということは正しくない」ものはある fact10: もしなにがしかのものは抗い難くないならば「指揮監督するしおまけに飲み放題だ」ということは成り立たない fact11: 「もし「慣れ切らない」ということは成り立つとしたら「小高くてさらにＡ病院だ」ということは偽な」物はある fact12: 仮にあの木村王国は内政干渉でないとしたら「それは新しくてそれは抗い難い」ということは成り立つということはない fact13: もし仮にあの木村王国は内政干渉でないなら新しいし加えて抗い難い fact14: 「もし仮に「内政干渉だということはない」ということは真実ならば新しいしそれに抗い難い」物はある fact15: 「膨らみ立たないとすれば「焼けるし更に地方寺院だ」ということは真実でない」ものはある fact16: もしも何かは再発し易くないとしたら「それはキッズカートであるしその上常磐井家である」ということは成り立たない ; $hypothesis$ = 「もし内政干渉でないとすると「新しいしまた抗い難い」ということは誤りな」物はある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 仮にこの千九百四十一年夏は乗り易くないなら「新しいしそれは蠢く」ということは間違っている
事実2: もしもあの木村王国は試験所であるということはないとすると「それは御相談するし新しい」ということは成り立たない
事実3: 「もしも速度違反だということはないならば「到達出来るし入り辛い」ということは誤りな」物はある
事実4: 「もし仮に手打ちだということはないとしたら「薄っぺらいし計算す」ということは成り立たない」物はある
事実5: もしあの木村王国は内政干渉だとしたら「それは新しいしそれに抗い難い」ということは偽である
事実6: 「手打ちでないならば「搾取分配するし分解され難い」ということは嘘な」ものはある
事実7: 「慎み深くないとすれば「良くてさらに心強い」ということは嘘である」ものはある
事実8: 「もし仮に行儀良くないとすると「「搾取分配するし危なっかしい」ということは正しい」ということは事実と異なる」物はある
事実9: 「もし「内政干渉である」ということは真実だとすると「新しいしさらに抗い難い」ということは正しくない」ものはある
事実10: もしなにがしかのものは抗い難くないならば「指揮監督するしおまけに飲み放題だ」ということは成り立たない
事実11: 「もし「慣れ切らない」ということは成り立つとしたら「小高くてさらにＡ病院だ」ということは偽な」物はある
事実12: 仮にあの木村王国は内政干渉でないとしたら「それは新しくてそれは抗い難い」ということは成り立つということはない
事実13: もし仮にあの木村王国は内政干渉でないなら新しいし加えて抗い難い
事実14: 「もし仮に「内政干渉だということはない」ということは真実ならば新しいしそれに抗い難い」物はある
事実15: 「膨らみ立たないとすれば「焼けるし更に地方寺院だ」ということは真実でない」ものはある
事実16: もしも何かは再発し易くないとしたら「それはキッズカートであるしその上常磐井家である」ということは成り立たない

仮説: 「もし内政干渉でないとすると「新しいしまた抗い難い」ということは誤りな」物はある
1. 事実12から、仮説が導かれる

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