「もし仮に焼き過ぎないとすれば「然りしかつ正倉である」ということは成り立たない」ものはある
fact1: 「もし仮に社会福祉でないとしたら達成し易いし加えて行儀良い」ものはある fact2: 「もし目的無しないならば「立ち戻れるし期待し難い」ということは事実と異なる」ものはある fact3: もし仮にある物は焼き過ぎないとしたら「然りしかつ正倉である」ということは間違いである fact4: 「仮に長々しかないなら二分裂するしかつ広がり易い」ものはある fact5: もしこのＪ氏が焼き過ぎるということはないならばそれは然りしまた正倉だ fact6: もし仮になにかは構内だとすれば「それは二分裂するしそれに達成し易い」ということは偽だ fact7: もしこのＪ氏はキムチでないなら「それは耐え難いしおまけにアナリシスである」ということは成り立たない fact8: もしなにかはＵターンするということはないとすると引き籠もるし注する fact9: 「仮にぬかるみだということはないとすると「心弱くてさらに分かり辛い」ということは成り立たない」ものはある fact10: 「「もし合併出来ないとすると歌舞伎っぽいししかも重たい」物はある」ということは誤りでない fact11: あるものが焼き過ぎないなら然りし正倉である fact12: 「「扱き上げない」ということは成り立つとすれば「厳しくて更に歌舞伎である」ということは間違っている」ものはある fact13: 「もしも濃くないならば出難くてまた最上部な」物はある fact14: 「もし均衡しないとしたら「冬越しするしその上下船する」ということは事実と異なる」ものはある fact15: 「仮に傷付き易くないとすると「社会福祉であるしまた無国籍である」ということは正しくない」ものはある fact16: もしとあるものは審判者でないなら「それは興奮し易くておまけに運動エネルギーだ」ということは間違いである fact17: もし仮に「なにがしかのものは吹っ切らない」ということは成り立つならそれはアルカリであるし加えてうとうとする fact18: 「仮に助力するとすれば「格好良くてさらに扱き上げる」ということは成り立たない」物はある fact19: 仮に何かは他愛無くないならば「うとうとするし分かり兼ねる」ということは成り立たない fact20: 「焼き過ぎるなら「「然りしおまけに正倉である」ということは真実だ」ということは誤りである」物はある fact21: そのスコラが外来植物でないとすれば発生し易いしその上それは人恋しい
fact3 -> int1: もしこのＪ氏は焼き過ぎないとすれば「然りし更にそれは正倉だ」ということは成り立たない; int1 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 -> hypothesis;
「他愛無くないとすると「うとうとするし分かり兼ねる」ということは偽である」ものはある
fact22 -> int2: もし仮にその東南は他愛無いということはないとしたら「それはうとうとするしまた分かり兼ねる」ということは確かでない; int2 -> 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$ = 
fact3 -> int1: もしこのＪ氏は焼き過ぎないとすれば「然りし更にそれは正倉だ」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: 「もし仮に社会福祉でないとしたら達成し易いし加えて行儀良い」ものはある
事実2: 「もし目的無しないならば「立ち戻れるし期待し難い」ということは事実と異なる」ものはある
事実3: もし仮にある物は焼き過ぎないとしたら「然りしかつ正倉である」ということは間違いである
事実4: 「仮に長々しかないなら二分裂するしかつ広がり易い」ものはある
事実5: もしこのＪ氏が焼き過ぎるということはないならばそれは然りしまた正倉だ
事実6: もし仮になにかは構内だとすれば「それは二分裂するしそれに達成し易い」ということは偽だ
事実7: もしこのＪ氏はキムチでないなら「それは耐え難いしおまけにアナリシスである」ということは成り立たない
事実8: もしなにかはＵターンするということはないとすると引き籠もるし注する
事実9: 「仮にぬかるみだということはないとすると「心弱くてさらに分かり辛い」ということは成り立たない」ものはある
事実10: 「「もし合併出来ないとすると歌舞伎っぽいししかも重たい」物はある」ということは誤りでない
事実11: あるものが焼き過ぎないなら然りし正倉である
事実12: 「「扱き上げない」ということは成り立つとすれば「厳しくて更に歌舞伎である」ということは間違っている」ものはある
事実13: 「もしも濃くないならば出難くてまた最上部な」物はある
事実14: 「もし均衡しないとしたら「冬越しするしその上下船する」ということは事実と異なる」ものはある
事実15: 「仮に傷付き易くないとすると「社会福祉であるしまた無国籍である」ということは正しくない」ものはある
事実16: もしとあるものは審判者でないなら「それは興奮し易くておまけに運動エネルギーだ」ということは間違いである
事実17: もし仮に「なにがしかのものは吹っ切らない」ということは成り立つならそれはアルカリであるし加えてうとうとする
事実18: 「仮に助力するとすれば「格好良くてさらに扱き上げる」ということは成り立たない」物はある
事実19: 仮に何かは他愛無くないならば「うとうとするし分かり兼ねる」ということは成り立たない
事実20: 「焼き過ぎるなら「「然りしおまけに正倉である」ということは真実だ」ということは誤りである」物はある
事実21: そのスコラが外来植物でないとすれば発生し易いしその上それは人恋しい

仮説: 「もし仮に焼き過ぎないとすれば「然りしかつ正倉である」ということは成り立たない」ものはある
1. 事実3から、推論1: "もしこのＪ氏は焼き過ぎないとすれば「然りし更にそれは正倉だ」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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