「もしも「理屈っぽくないしそれに切り難くない」ということは成り立たないとすれば高級クラブでない」物はある
fact1: もしも「あの其れ等全体は理屈っぽくないけれど切り難い」ということは成り立たないとすればそれは高級クラブでない fact2: 「切り難いとすれば「高級クラブでない」ということは成り立つ」ものはある fact3: もし仮に「この学生街は理屈っぽくないしそれに生え易くない」ということは成り立たないならば合意出来ない fact4: 仮に「何らかのものは紫外線照射しないしおまけに来為さらない」ということは誤りであるならばそれは張り裂けない fact5: もしも「なんらかの物は炊き上がらなくて加えて将軍陛下であるということはない」ということは成り立たないとすると開設する fact6: 「もし仮に「南中国でなくて物理学でない」ということは偽だとすると「人間っぽくない」ということは事実な」物はある fact7: もしも「その生活環は切り難くないしそれは地下深くない」ということは間違いだとしたら群がる fact8: 「もし仮に理屈っぽくなくてしかも切り難くないなら高級クラブだということはない」ものはある fact9: もしあの其れ等全体が理屈っぽいならばそれは高級クラブでない fact10: 「もし仮に「理屈っぽいということはないしその上切り難くない」ということは真実でないとすれば高級クラブである」物はある fact11: もしも「「この判例時報は給料月額でなくてかつそれは高級クラブだということはない」ということは真実である」ということは成り立つということはないならばＤＩＹショップでない fact12: 「もしも「間近くないが異時空間アンカーだ」ということは成り立たないなら安堵し難いということはない」ものはある fact13: もし仮に「この御趣旨は定山渓温泉ＭＡＰでないし更に切り難くない」ということは確かでないとすると「インポーターだということはない」ということは成り立つ fact14: 「もし仮に「動かし難くて古いということはない」ということは成り立たないならば納付すということはない」物はある fact15: 示し易くないし安しということはないものは小学校令施行規則でない fact16: もしあの其れ等全体は理屈っぽくないしさらに切り難くないとすると「高級クラブだということはない」ということは真実だ fact17: もし「なにがしかの物は理屈っぽくないし切り難くない」ということは偽ならばそれは高級クラブだということはない
fact17 -> int1: 「あの其れ等全体は理屈っぽいということはなくてしかも切り難くない」ということは誤りであるとすれば「高級クラブでない」ということは真実である; int1 -> hypothesis;
$facts$ = fact1: もしも「あの其れ等全体は理屈っぽくないけれど切り難い」ということは成り立たないとすればそれは高級クラブでない fact2: 「切り難いとすれば「高級クラブでない」ということは成り立つ」ものはある fact3: もし仮に「この学生街は理屈っぽくないしそれに生え易くない」ということは成り立たないならば合意出来ない fact4: 仮に「何らかのものは紫外線照射しないしおまけに来為さらない」ということは誤りであるならばそれは張り裂けない fact5: もしも「なんらかの物は炊き上がらなくて加えて将軍陛下であるということはない」ということは成り立たないとすると開設する fact6: 「もし仮に「南中国でなくて物理学でない」ということは偽だとすると「人間っぽくない」ということは事実な」物はある fact7: もしも「その生活環は切り難くないしそれは地下深くない」ということは間違いだとしたら群がる fact8: 「もし仮に理屈っぽくなくてしかも切り難くないなら高級クラブだということはない」ものはある fact9: もしあの其れ等全体が理屈っぽいならばそれは高級クラブでない fact10: 「もし仮に「理屈っぽいということはないしその上切り難くない」ということは真実でないとすれば高級クラブである」物はある fact11: もしも「「この判例時報は給料月額でなくてかつそれは高級クラブだということはない」ということは真実である」ということは成り立つということはないならばＤＩＹショップでない fact12: 「もしも「間近くないが異時空間アンカーだ」ということは成り立たないなら安堵し難いということはない」ものはある fact13: もし仮に「この御趣旨は定山渓温泉ＭＡＰでないし更に切り難くない」ということは確かでないとすると「インポーターだということはない」ということは成り立つ fact14: 「もし仮に「動かし難くて古いということはない」ということは成り立たないならば納付すということはない」物はある fact15: 示し易くないし安しということはないものは小学校令施行規則でない fact16: もしあの其れ等全体は理屈っぽくないしさらに切り難くないとすると「高級クラブだということはない」ということは真実だ fact17: もし「なにがしかの物は理屈っぽくないし切り難くない」ということは偽ならばそれは高級クラブだということはない ; $hypothesis$ = 「もしも「理屈っぽくないしそれに切り難くない」ということは成り立たないとすれば高級クラブでない」物はある ; $proof$ = 
fact17 -> int1: 「あの其れ等全体は理屈っぽいということはなくてしかも切り難くない」ということは誤りであるとすれば「高級クラブでない」ということは真実である; int1 -> hypothesis; __PROVED__
事実1: もしも「あの其れ等全体は理屈っぽくないけれど切り難い」ということは成り立たないとすればそれは高級クラブでない
事実2: 「切り難いとすれば「高級クラブでない」ということは成り立つ」ものはある
事実3: もし仮に「この学生街は理屈っぽくないしそれに生え易くない」ということは成り立たないならば合意出来ない
事実4: 仮に「何らかのものは紫外線照射しないしおまけに来為さらない」ということは誤りであるならばそれは張り裂けない
事実5: もしも「なんらかの物は炊き上がらなくて加えて将軍陛下であるということはない」ということは成り立たないとすると開設する
事実6: 「もし仮に「南中国でなくて物理学でない」ということは偽だとすると「人間っぽくない」ということは事実な」物はある
事実7: もしも「その生活環は切り難くないしそれは地下深くない」ということは間違いだとしたら群がる
事実8: 「もし仮に理屈っぽくなくてしかも切り難くないなら高級クラブだということはない」ものはある
事実9: もしあの其れ等全体が理屈っぽいならばそれは高級クラブでない
事実10: 「もし仮に「理屈っぽいということはないしその上切り難くない」ということは真実でないとすれば高級クラブである」物はある
事実11: もしも「「この判例時報は給料月額でなくてかつそれは高級クラブだということはない」ということは真実である」ということは成り立つということはないならばＤＩＹショップでない
事実12: 「もしも「間近くないが異時空間アンカーだ」ということは成り立たないなら安堵し難いということはない」ものはある
事実13: もし仮に「この御趣旨は定山渓温泉ＭＡＰでないし更に切り難くない」ということは確かでないとすると「インポーターだということはない」ということは成り立つ
事実14: 「もし仮に「動かし難くて古いということはない」ということは成り立たないならば納付すということはない」物はある
事実15: 示し易くないし安しということはないものは小学校令施行規則でない
事実16: もしあの其れ等全体は理屈っぽくないしさらに切り難くないとすると「高級クラブだということはない」ということは真実だ
事実17: もし「なにがしかの物は理屈っぽくないし切り難くない」ということは偽ならばそれは高級クラブだということはない

仮説: 「もしも「理屈っぽくないしそれに切り難くない」ということは成り立たないとすれば高級クラブでない」物はある
1. 事実17から、推論1: "「あの其れ等全体は理屈っぽいということはなくてしかも切り難くない」ということは誤りであるとすれば「高級クラブでない」ということは真実である"が導かれる
2. 推論1から、仮説が導かれる

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