そのビン・フィズは書き難いということはない
fact1: この管状は照らし合わせるかあるいは僻みっぽいかまたはどちらもだ fact2: この十グラム以下は僻みっぽい fact3: この管状は偏心するかまたはそれは塞くかもしくは両方ともだ fact4: もしもこの管状は僻みっぽいならば「そのビン・フィズは書き難い」ということは事実である fact5: その性悪は退院するかあるいはそれは子供っぽいか両方だ fact6: もし仮に「そのビン・フィズは僻みっぽい」ということは正しいとするとこの管状は書き難い fact7: もしこの管状が照らし合わせればそのビン・フィズは書き難い fact8: そのビン・フィズは僻みっぽい
fact1 & fact7 & fact4 -> hypothesis;
fact1 & fact7 & fact4 -> hypothesis;
$facts$ = fact1: この管状は照らし合わせるかあるいは僻みっぽいかまたはどちらもだ fact2: この十グラム以下は僻みっぽい fact3: この管状は偏心するかまたはそれは塞くかもしくは両方ともだ fact4: もしもこの管状は僻みっぽいならば「そのビン・フィズは書き難い」ということは事実である fact5: その性悪は退院するかあるいはそれは子供っぽいか両方だ fact6: もし仮に「そのビン・フィズは僻みっぽい」ということは正しいとするとこの管状は書き難い fact7: もしこの管状が照らし合わせればそのビン・フィズは書き難い fact8: そのビン・フィズは僻みっぽい ; $hypothesis$ = そのビン・フィズは書き難いということはない ; $proof$ = 
fact1 & fact7 & fact4 -> hypothesis; __DISPROVED__
事実1: この管状は照らし合わせるかあるいは僻みっぽいかまたはどちらもだ
事実2: この十グラム以下は僻みっぽい
事実3: この管状は偏心するかまたはそれは塞くかもしくは両方ともだ
事実4: もしもこの管状は僻みっぽいならば「そのビン・フィズは書き難い」ということは事実である
事実5: その性悪は退院するかあるいはそれは子供っぽいか両方だ
事実6: もし仮に「そのビン・フィズは僻みっぽい」ということは正しいとするとこの管状は書き難い
事実7: もしこの管状が照らし合わせればそのビン・フィズは書き難い
事実8: そのビン・フィズは僻みっぽい

仮説: そのビン・フィズは書き難いということはない
1. 事実1と事実7と事実4から、仮説が否定される

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