「「仮に晒され易くないしまた等しいということはないとすると物珍しいということはない」物はある」ということは成り立たない
fact1: もしもそのドル建ては等しくないしさらに打ち明けないとしたら「渋い」ということは嘘でない fact2: あの推薦状が等しいがそれはし出さないとしたら「それは姦しくない」ということは成り立つ fact3: 「もしも晒され易くないが等しいなら物珍しくない」ものはある fact4: 「もし青黒くないし加えて思し召さないとすれば北陸鉄道な」ものはある fact5: 「もし述べ立てるけど調剤でないとしたら打ち込めない」物はある fact6: 小賢しくて手広くない物は忝いということはない fact7: 仮に混入し易いものは泣き顔でないとしたらそれは女っぽくない fact8: 仮にあの推薦状が晒され易くないししかも冷たいということはないなら気難しくない fact9: 晒され易くないしかつ等しくない物は物珍しくない
fact9 -> int1: もしもあの推薦状は晒され易くないしその上等しいということはないとするとそれは物珍しいということはない; int1 -> hypothesis;
fact9 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしもそのドル建ては等しくないしさらに打ち明けないとしたら「渋い」ということは嘘でない fact2: あの推薦状が等しいがそれはし出さないとしたら「それは姦しくない」ということは成り立つ fact3: 「もしも晒され易くないが等しいなら物珍しくない」ものはある fact4: 「もし青黒くないし加えて思し召さないとすれば北陸鉄道な」ものはある fact5: 「もし述べ立てるけど調剤でないとしたら打ち込めない」物はある fact6: 小賢しくて手広くない物は忝いということはない fact7: 仮に混入し易いものは泣き顔でないとしたらそれは女っぽくない fact8: 仮にあの推薦状が晒され易くないししかも冷たいということはないなら気難しくない fact9: 晒され易くないしかつ等しくない物は物珍しくない ; $hypothesis$ = 「「仮に晒され易くないしまた等しいということはないとすると物珍しいということはない」物はある」ということは成り立たない ; $proof$ = 
fact9 -> int1: もしもあの推薦状は晒され易くないしその上等しいということはないとするとそれは物珍しいということはない; int1 -> hypothesis; __DISPROVED__
事実1: もしもそのドル建ては等しくないしさらに打ち明けないとしたら「渋い」ということは嘘でない
事実2: あの推薦状が等しいがそれはし出さないとしたら「それは姦しくない」ということは成り立つ
事実3: 「もしも晒され易くないが等しいなら物珍しくない」ものはある
事実4: 「もし青黒くないし加えて思し召さないとすれば北陸鉄道な」ものはある
事実5: 「もし述べ立てるけど調剤でないとしたら打ち込めない」物はある
事実6: 小賢しくて手広くない物は忝いということはない
事実7: 仮に混入し易いものは泣き顔でないとしたらそれは女っぽくない
事実8: 仮にあの推薦状が晒され易くないししかも冷たいということはないなら気難しくない
事実9: 晒され易くないしかつ等しくない物は物珍しくない

仮説: 「「仮に晒され易くないしまた等しいということはないとすると物珍しいということはない」物はある」ということは成り立たない
1. 事実9から、推論1: "もしもあの推薦状は晒され易くないしその上等しいということはないとするとそれは物珍しいということはない"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。