その厚手綿布は避け難い
fact1: もしなにがしかのものは酒臭いということはないとしたら「それは避け難くない一方で残渣だ」ということは間違いである fact2: もし仮に何かは酒臭くないとしたらその第二次桂内閣はＤＨＣＰサーバーでないがそれは青黒い fact3: その厚手綿布はリンスするということはないがしかし第四式だ fact4: もし仮にその厚手綿布がリンスしないがしかしそれが第四式ならそれは避け難くない fact5: もしその厚手綿布がリンスするし第四式だとすればそれは避け難くない fact6: 狡賢いかあるいは酒臭くないものは酒臭くない fact7: もし仮にこの新会員が客員でないがしかしそれはオールラウンドなら「第四式であるということはない」ということは本当である
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
その厚手綿布は避け難い
fact8 -> int1: もし仮にこの印象派は酒臭くないとしたら「避け難くないしその上残渣だ」ということは成り立たない; fact9 -> int2: もしもあの英語遊びは狡賢いか酒臭くないとすればそれは酒臭いということはない;
$facts$ = fact1: もしなにがしかのものは酒臭いということはないとしたら「それは避け難くない一方で残渣だ」ということは間違いである fact2: もし仮に何かは酒臭くないとしたらその第二次桂内閣はＤＨＣＰサーバーでないがそれは青黒い fact3: その厚手綿布はリンスするということはないがしかし第四式だ fact4: もし仮にその厚手綿布がリンスしないがしかしそれが第四式ならそれは避け難くない fact5: もしその厚手綿布がリンスするし第四式だとすればそれは避け難くない fact6: 狡賢いかあるいは酒臭くないものは酒臭くない fact7: もし仮にこの新会員が客員でないがしかしそれはオールラウンドなら「第四式であるということはない」ということは本当である ; $hypothesis$ = その厚手綿布は避け難い ; $proof$ = 
fact4 & fact3 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものは酒臭いということはないとしたら「それは避け難くない一方で残渣だ」ということは間違いである
事実2: もし仮に何かは酒臭くないとしたらその第二次桂内閣はＤＨＣＰサーバーでないがそれは青黒い
事実3: その厚手綿布はリンスするということはないがしかし第四式だ
事実4: もし仮にその厚手綿布がリンスしないがしかしそれが第四式ならそれは避け難くない
事実5: もしその厚手綿布がリンスするし第四式だとすればそれは避け難くない
事実6: 狡賢いかあるいは酒臭くないものは酒臭くない
事実7: もし仮にこの新会員が客員でないがしかしそれはオールラウンドなら「第四式であるということはない」ということは本当である

仮説: その厚手綿布は避け難い
1. 事実4と事実3から、仮説が否定される

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