その平滑系舗装が押し出し器だし爆破する
fact1: 「鉄筆な」物はある fact2: もし鉄筆はあるとすれば「その平滑系舗装は押し出し器であるしおまけに爆破する」ということは誤っている fact3: もしその調達活動が押し出し器であるならばその平滑系舗装は押し出し器である
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
その平滑系舗装は押し出し器で加えて爆破する
$facts$ = fact1: 「鉄筆な」物はある fact2: もし鉄筆はあるとすれば「その平滑系舗装は押し出し器であるしおまけに爆破する」ということは誤っている fact3: もしその調達活動が押し出し器であるならばその平滑系舗装は押し出し器である ; $hypothesis$ = その平滑系舗装が押し出し器だし爆破する ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「鉄筆な」物はある
事実2: もし鉄筆はあるとすれば「その平滑系舗装は押し出し器であるしおまけに爆破する」ということは誤っている
事実3: もしその調達活動が押し出し器であるならばその平滑系舗装は押し出し器である

仮説: その平滑系舗装が押し出し器だし爆破する
1. 事実1と事実2から、仮説が否定される

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