「「もし仮に常連らしくないなら「訪米する」ということは成り立つ」ものはある」ということは成り立たない
fact1: もし仮にこの総員が常連らしいということはないとしたら訪米する fact2: 「もし値頃感でないとすると小柱な」物はある fact3: 何らかの物が書き難いということはないとすればそれは寄る辺無い fact4: 「もしもＯＢ臭くないなら分離し易い」物はある fact5: あの三十二年前が無理無くないとしたらそれは訪米する fact6: 「この総員が常連らしくないならこの総員は染め抜く」ということは本当だ fact7: 「常連らしいなら訪米する」物はある fact8: 仮にこの総員が凄くないとすればそれは曲ぐ fact9: 「この総員は常連らしい」ということは成り立つなら「それは訪米する」ということは真実である fact10: 「もし金融界であるということはないなら罪深い」物はある fact11: 「もし「判別し易くない」ということは真実であるとすると包装する」ものはある
fact1 -> hypothesis;
fact1 -> hypothesis;
「もし書き難くないならば寄る辺無い」ものはある
fact12 -> int1: もし仮にあの伯母が書き難くないならばそれは寄る辺無い; int1 -> hypothesis;
$facts$ = fact1: もし仮にこの総員が常連らしいということはないとしたら訪米する fact2: 「もし値頃感でないとすると小柱な」物はある fact3: 何らかの物が書き難いということはないとすればそれは寄る辺無い fact4: 「もしもＯＢ臭くないなら分離し易い」物はある fact5: あの三十二年前が無理無くないとしたらそれは訪米する fact6: 「この総員が常連らしくないならこの総員は染め抜く」ということは本当だ fact7: 「常連らしいなら訪米する」物はある fact8: 仮にこの総員が凄くないとすればそれは曲ぐ fact9: 「この総員は常連らしい」ということは成り立つなら「それは訪米する」ということは真実である fact10: 「もし金融界であるということはないなら罪深い」物はある fact11: 「もし「判別し易くない」ということは真実であるとすると包装する」ものはある ; $hypothesis$ = 「「もし仮に常連らしくないなら「訪米する」ということは成り立つ」ものはある」ということは成り立たない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこの総員が常連らしいということはないとしたら訪米する
事実2: 「もし値頃感でないとすると小柱な」物はある
事実3: 何らかの物が書き難いということはないとすればそれは寄る辺無い
事実4: 「もしもＯＢ臭くないなら分離し易い」物はある
事実5: あの三十二年前が無理無くないとしたらそれは訪米する
事実6: 「この総員が常連らしくないならこの総員は染め抜く」ということは本当だ
事実7: 「常連らしいなら訪米する」物はある
事実8: 仮にこの総員が凄くないとすればそれは曲ぐ
事実9: 「この総員は常連らしい」ということは成り立つなら「それは訪米する」ということは真実である
事実10: 「もし金融界であるということはないなら罪深い」物はある
事実11: 「もし「判別し易くない」ということは真実であるとすると包装する」ものはある

仮説: 「「もし仮に常連らしくないなら「訪米する」ということは成り立つ」ものはある」ということは成り立たない
1. 事実1から、仮説が否定される

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