あの弁財天は合併し易くない
fact1: もしも「「難詰するということはなくて素早くない」ということは間違っている」物があるとすればあの注記内容は改造型である fact2: もし「とある物はチーズ製造であるということはない一方で矛盾対立である」ということは事実と異なるならそれは名乗り出ない fact3: もしもあるものは改造型であるとすると「美しないし合併し易くない」ということは誤っている fact4: もしあの弁財天が改造型だとしたら愛情深くてさらにそれは美しない fact5: もしもその湯屋は名乗り出ないとすると「あの設計手法は支障無くておまけにそれは尤もらしい」ということは誤りである fact6: もし「「支障無いししかも尤もらしい」ということは事実と異なる」物があるとすればあの弁財天は呼応し合わない fact7: あの弁財天はＣＹＤＹ＋ＣＹＥＤＹＥでない fact8: あの卵胞細胞は合併し易くない fact9: 仮になにがしかの物は愛情深いが美しないとすると合併し易い fact10: あの弁財天は取り引き報告書でない fact11: 「その湯屋はチーズ製造でないけど矛盾対立である」ということは間違っている fact12: 仮に何かは呼応し合わないとしたら「それは難詰しないししかも素早くない」ということは誤っている fact13: あの弁財天は愛情深い fact14: 「このペ茶は合併し易い」ということは確かだ fact15: 仮にあの弁財天が愛情深いなら合併し易いということはない fact16: あの弁財天は肥満する fact17: この盟主は合併し易くない
fact15 & fact13 -> hypothesis;
fact15 & fact13 -> hypothesis;
あの弁財天は合併し易い
fact19 -> int1: もし仮にあの弁財天は愛情深いが美しないならばそれは合併し易い;
$facts$ = fact1: もしも「「難詰するということはなくて素早くない」ということは間違っている」物があるとすればあの注記内容は改造型である fact2: もし「とある物はチーズ製造であるということはない一方で矛盾対立である」ということは事実と異なるならそれは名乗り出ない fact3: もしもあるものは改造型であるとすると「美しないし合併し易くない」ということは誤っている fact4: もしあの弁財天が改造型だとしたら愛情深くてさらにそれは美しない fact5: もしもその湯屋は名乗り出ないとすると「あの設計手法は支障無くておまけにそれは尤もらしい」ということは誤りである fact6: もし「「支障無いししかも尤もらしい」ということは事実と異なる」物があるとすればあの弁財天は呼応し合わない fact7: あの弁財天はＣＹＤＹ＋ＣＹＥＤＹＥでない fact8: あの卵胞細胞は合併し易くない fact9: 仮になにがしかの物は愛情深いが美しないとすると合併し易い fact10: あの弁財天は取り引き報告書でない fact11: 「その湯屋はチーズ製造でないけど矛盾対立である」ということは間違っている fact12: 仮に何かは呼応し合わないとしたら「それは難詰しないししかも素早くない」ということは誤っている fact13: あの弁財天は愛情深い fact14: 「このペ茶は合併し易い」ということは確かだ fact15: 仮にあの弁財天が愛情深いなら合併し易いということはない fact16: あの弁財天は肥満する fact17: この盟主は合併し易くない ; $hypothesis$ = あの弁財天は合併し易くない ; $proof$ = 
fact15 & fact13 -> hypothesis; __PROVED__
事実1: もしも「「難詰するということはなくて素早くない」ということは間違っている」物があるとすればあの注記内容は改造型である
事実2: もし「とある物はチーズ製造であるということはない一方で矛盾対立である」ということは事実と異なるならそれは名乗り出ない
事実3: もしもあるものは改造型であるとすると「美しないし合併し易くない」ということは誤っている
事実4: もしあの弁財天が改造型だとしたら愛情深くてさらにそれは美しない
事実5: もしもその湯屋は名乗り出ないとすると「あの設計手法は支障無くておまけにそれは尤もらしい」ということは誤りである
事実6: もし「「支障無いししかも尤もらしい」ということは事実と異なる」物があるとすればあの弁財天は呼応し合わない
事実7: あの弁財天はＣＹＤＹ＋ＣＹＥＤＹＥでない
事実8: あの卵胞細胞は合併し易くない
事実9: 仮になにがしかの物は愛情深いが美しないとすると合併し易い
事実10: あの弁財天は取り引き報告書でない
事実11: 「その湯屋はチーズ製造でないけど矛盾対立である」ということは間違っている
事実12: 仮に何かは呼応し合わないとしたら「それは難詰しないししかも素早くない」ということは誤っている
事実13: あの弁財天は愛情深い
事実14: 「このペ茶は合併し易い」ということは確かだ
事実15: 仮にあの弁財天が愛情深いなら合併し易いということはない
事実16: あの弁財天は肥満する
事実17: この盟主は合併し易くない

仮説: あの弁財天は合併し易くない
1. 事実15と事実13から、仮説が導かれる

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