この隠れ蓑はふっくらしない
fact1: もし何らかのものは甘ったるいということはないならば「それは移行性で苦々しい」ということは本当でない fact2: もし仮にその担当部門は管理しないかもしくは移行性であるかまたは両方ともであるとしたらそれは出入りし易い fact3: この隠れ蓑は乗り組まない fact4: もしも「なにかは移行性で苦々しい」ということは真実でないとするとそれは移行性でない fact5: 「仮に「その馴染み客は管理しない」ということは正しいとすればこの隠れ蓑は出入りし易いがしかし乗り組まない」ということは成り立つ fact6: あの小病院は乗り組む fact7: もしその馴染み客は塗装するけれど話し辛くないなら甘ったるいということはない fact8: もし仮にこの隠れ蓑が乗り組まないならばふっくらする fact9: 「この隠れ蓑は染み込み易い」ということは成り立つ fact10: もし仮になにかは出入りし易いがそれが乗り組むということはないとしたらふっくらしない fact11: 出入りし易いものはふっくらする一方で乗り組まない fact12: この土建屋は乗り組まない
fact8 & fact3 -> hypothesis;
fact8 & fact3 -> hypothesis;
その担当部門は乗り組まない
fact14 -> int1: もしその担当部門が出入りし易いとするとそれはふっくらするし更に乗り組まない;
$facts$ = fact1: もし何らかのものは甘ったるいということはないならば「それは移行性で苦々しい」ということは本当でない fact2: もし仮にその担当部門は管理しないかもしくは移行性であるかまたは両方ともであるとしたらそれは出入りし易い fact3: この隠れ蓑は乗り組まない fact4: もしも「なにかは移行性で苦々しい」ということは真実でないとするとそれは移行性でない fact5: 「仮に「その馴染み客は管理しない」ということは正しいとすればこの隠れ蓑は出入りし易いがしかし乗り組まない」ということは成り立つ fact6: あの小病院は乗り組む fact7: もしその馴染み客は塗装するけれど話し辛くないなら甘ったるいということはない fact8: もし仮にこの隠れ蓑が乗り組まないならばふっくらする fact9: 「この隠れ蓑は染み込み易い」ということは成り立つ fact10: もし仮になにかは出入りし易いがそれが乗り組むということはないとしたらふっくらしない fact11: 出入りし易いものはふっくらする一方で乗り組まない fact12: この土建屋は乗り組まない ; $hypothesis$ = この隠れ蓑はふっくらしない ; $proof$ = 
fact8 & fact3 -> hypothesis; __DISPROVED__
事実1: もし何らかのものは甘ったるいということはないならば「それは移行性で苦々しい」ということは本当でない
事実2: もし仮にその担当部門は管理しないかもしくは移行性であるかまたは両方ともであるとしたらそれは出入りし易い
事実3: この隠れ蓑は乗り組まない
事実4: もしも「なにかは移行性で苦々しい」ということは真実でないとするとそれは移行性でない
事実5: 「仮に「その馴染み客は管理しない」ということは正しいとすればこの隠れ蓑は出入りし易いがしかし乗り組まない」ということは成り立つ
事実6: あの小病院は乗り組む
事実7: もしその馴染み客は塗装するけれど話し辛くないなら甘ったるいということはない
事実8: もし仮にこの隠れ蓑が乗り組まないならばふっくらする
事実9: 「この隠れ蓑は染み込み易い」ということは成り立つ
事実10: もし仮になにかは出入りし易いがそれが乗り組むということはないとしたらふっくらしない
事実11: 出入りし易いものはふっくらする一方で乗り組まない
事実12: この土建屋は乗り組まない

仮説: この隠れ蓑はふっくらしない
1. 事実8と事実3から、仮説が否定される

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