あの酸素系漂白剤はこそばゆい
fact1: もしあの代筆が国際連盟であるしまた仕方無いとしたらあの酸素系漂白剤はこそばゆくない fact2: あるものが与え難いとするとそれはこそばゆくない一方で積み込み港識別である fact3: あの代筆はこそばゆくて国際連盟である fact4: 仮にあの酸素系漂白剤がこそばゆくないがそれが積み込み港識別ならばあの代筆は広し fact5: あの代筆は国際連盟だ fact6: もしも「何かは州議会だということはない」ということは真実であるとすれば積み込み港識別であるしおまけにそれはこそばゆい fact7: あの代筆は国際連盟でしかも仕方無い fact8: あの酸素系漂白剤は国際連盟でない
fact1 & fact7 -> hypothesis;
fact1 & fact7 -> hypothesis;
あの代筆は広ししそれは策する
fact9 -> int1: もしもあの酸素系漂白剤が与え難いとするとそれはこそばゆくなくてしかも積み込み港識別である;
$facts$ = fact1: もしあの代筆が国際連盟であるしまた仕方無いとしたらあの酸素系漂白剤はこそばゆくない fact2: あるものが与え難いとするとそれはこそばゆくない一方で積み込み港識別である fact3: あの代筆はこそばゆくて国際連盟である fact4: 仮にあの酸素系漂白剤がこそばゆくないがそれが積み込み港識別ならばあの代筆は広し fact5: あの代筆は国際連盟だ fact6: もしも「何かは州議会だということはない」ということは真実であるとすれば積み込み港識別であるしおまけにそれはこそばゆい fact7: あの代筆は国際連盟でしかも仕方無い fact8: あの酸素系漂白剤は国際連盟でない ; $hypothesis$ = あの酸素系漂白剤はこそばゆい ; $proof$ = 
fact1 & fact7 -> hypothesis; __DISPROVED__
事実1: もしあの代筆が国際連盟であるしまた仕方無いとしたらあの酸素系漂白剤はこそばゆくない
事実2: あるものが与え難いとするとそれはこそばゆくない一方で積み込み港識別である
事実3: あの代筆はこそばゆくて国際連盟である
事実4: 仮にあの酸素系漂白剤がこそばゆくないがそれが積み込み港識別ならばあの代筆は広し
事実5: あの代筆は国際連盟だ
事実6: もしも「何かは州議会だということはない」ということは真実であるとすれば積み込み港識別であるしおまけにそれはこそばゆい
事実7: あの代筆は国際連盟でしかも仕方無い
事実8: あの酸素系漂白剤は国際連盟でない

仮説: あの酸素系漂白剤はこそばゆい
1. 事実1と事実7から、仮説が否定される

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