あの商品化は整形するしそれは塗り込める
fact1: 「あの商品化は頼り無いということはない一方でそれは溶け難い」ということは誤りである fact2: 仮にこの変異体が姉らしいしおまけに扇絵師だとしたらあの辞書形は扇絵師でない fact3: もし仮にあの商品化が頼り無いとしたらそれは分類しない fact4: この変異体は姉らしい fact5: もしもこの変異体が活用し易いならば扇絵師だ fact6: この獲物は溶け難いということはない fact7: もしもなにかは分類しないとすればそれは塗り込める fact8: 「その名義貸しは捕らえ易くないしそれは尤もらしいということはない」ということは成り立たないならその社会的存在意義は捕らえ易い fact9: もしもあの辞書形が扇絵師でないならその名義貸しは解け易いしそれに自失する fact10: もし仮に何かは分類しないとすればそれは整形するし更に塗り込める fact11: もし仮に何らかのものは解け易いとすると「捕らえ易くないしその上尤もらしいない」ということは成り立つということはない fact12: もしあの商品化が公刊しないとしたらそれは頼り無いものでありまた赤い fact13: あの商品化が分類しないとすればそれは塗り込める fact14: あの商品化は塗り込める fact15: 仮になにがしかの物が亡命しないとすると買い易くておまけに蛇行する fact16: 仮に「その社会的存在意義は慣れだ」ということは誤りでないとすればあの終了原因は慣れである fact17: もしそのフィットネスは慣れでないならばそれはじりじりするしまた解け易い fact18: 仮に「あの商品化は整形するけれど塗り込めるということはない」ということは成り立たないとすればあのＫＧ／日は分類しない fact19: もしこの終了原因は慣れであるとすると「あの商品化は整形するが塗り込めない」ということは誤りである fact20: 捕らえ易いものは慣れである fact21: 「あの商品化は頼り無くないけど溶け難い」ということは誤りならそれは分類しない fact22: もしも何らかの物がカミングアウトしないとすればファミリー・ルームであるしそれは侍達だ fact23: 「あの商品化は頼り無いし溶け難い」ということは誤りだ
fact21 & fact1 -> int1: あの商品化は分類しない; fact10 -> int2: あの商品化が分類しないとすれば整形するしその上それは塗り込める; int1 & int2 -> hypothesis;
fact21 & fact1 -> int1: ¬{B}{a}; fact10 -> int2: ¬{B}{a} -> ({C}{a} & {A}{a}); int1 & int2 -> hypothesis;
そのＫＧ／日は分類しない
fact25 -> int3: もし仮に「その社会的存在意義は捕らえ易い」ということは成り立つならそれは慣れである; fact26 -> int4: その名義貸しは解け易いとすると「捕らえ易いということはないしさらに尤もらしくない」ということは事実と異なる;
$facts$ = fact1: 「あの商品化は頼り無いということはない一方でそれは溶け難い」ということは誤りである fact2: 仮にこの変異体が姉らしいしおまけに扇絵師だとしたらあの辞書形は扇絵師でない fact3: もし仮にあの商品化が頼り無いとしたらそれは分類しない fact4: この変異体は姉らしい fact5: もしもこの変異体が活用し易いならば扇絵師だ fact6: この獲物は溶け難いということはない fact7: もしもなにかは分類しないとすればそれは塗り込める fact8: 「その名義貸しは捕らえ易くないしそれは尤もらしいということはない」ということは成り立たないならその社会的存在意義は捕らえ易い fact9: もしもあの辞書形が扇絵師でないならその名義貸しは解け易いしそれに自失する fact10: もし仮に何かは分類しないとすればそれは整形するし更に塗り込める fact11: もし仮に何らかのものは解け易いとすると「捕らえ易くないしその上尤もらしいない」ということは成り立つということはない fact12: もしあの商品化が公刊しないとしたらそれは頼り無いものでありまた赤い fact13: あの商品化が分類しないとすればそれは塗り込める fact14: あの商品化は塗り込める fact15: 仮になにがしかの物が亡命しないとすると買い易くておまけに蛇行する fact16: 仮に「その社会的存在意義は慣れだ」ということは誤りでないとすればあの終了原因は慣れである fact17: もしそのフィットネスは慣れでないならばそれはじりじりするしまた解け易い fact18: 仮に「あの商品化は整形するけれど塗り込めるということはない」ということは成り立たないとすればあのＫＧ／日は分類しない fact19: もしこの終了原因は慣れであるとすると「あの商品化は整形するが塗り込めない」ということは誤りである fact20: 捕らえ易いものは慣れである fact21: 「あの商品化は頼り無くないけど溶け難い」ということは誤りならそれは分類しない fact22: もしも何らかの物がカミングアウトしないとすればファミリー・ルームであるしそれは侍達だ fact23: 「あの商品化は頼り無いし溶け難い」ということは誤りだ ; $hypothesis$ = あの商品化は整形するしそれは塗り込める ; $proof$ = 
fact21 & fact1 -> int1: あの商品化は分類しない; fact10 -> int2: あの商品化が分類しないとすれば整形するしその上それは塗り込める; int1 & int2 -> hypothesis; __PROVED__
事実1: 「あの商品化は頼り無いということはない一方でそれは溶け難い」ということは誤りである
事実2: 仮にこの変異体が姉らしいしおまけに扇絵師だとしたらあの辞書形は扇絵師でない
事実3: もし仮にあの商品化が頼り無いとしたらそれは分類しない
事実4: この変異体は姉らしい
事実5: もしもこの変異体が活用し易いならば扇絵師だ
事実6: この獲物は溶け難いということはない
事実7: もしもなにかは分類しないとすればそれは塗り込める
事実8: 「その名義貸しは捕らえ易くないしそれは尤もらしいということはない」ということは成り立たないならその社会的存在意義は捕らえ易い
事実9: もしもあの辞書形が扇絵師でないならその名義貸しは解け易いしそれに自失する
事実10: もし仮に何かは分類しないとすればそれは整形するし更に塗り込める
事実11: もし仮に何らかのものは解け易いとすると「捕らえ易くないしその上尤もらしいない」ということは成り立つということはない
事実12: もしあの商品化が公刊しないとしたらそれは頼り無いものでありまた赤い
事実13: あの商品化が分類しないとすればそれは塗り込める
事実14: あの商品化は塗り込める
事実15: 仮になにがしかの物が亡命しないとすると買い易くておまけに蛇行する
事実16: 仮に「その社会的存在意義は慣れだ」ということは誤りでないとすればあの終了原因は慣れである
事実17: もしそのフィットネスは慣れでないならばそれはじりじりするしまた解け易い
事実18: 仮に「あの商品化は整形するけれど塗り込めるということはない」ということは成り立たないとすればあのＫＧ／日は分類しない
事実19: もしこの終了原因は慣れであるとすると「あの商品化は整形するが塗り込めない」ということは誤りである
事実20: 捕らえ易いものは慣れである
事実21: 「あの商品化は頼り無くないけど溶け難い」ということは誤りならそれは分類しない
事実22: もしも何らかの物がカミングアウトしないとすればファミリー・ルームであるしそれは侍達だ
事実23: 「あの商品化は頼り無いし溶け難い」ということは誤りだ

仮説: あの商品化は整形するしそれは塗り込める
1. 事実21と事実1から、推論1: "あの商品化は分類しない"が導かれる
2. 事実10から、推論2: "あの商品化が分類しないとすれば整形するしその上それは塗り込める"が導かれる
3. 推論1と推論2から、仮説が導かれる

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