あのシェフは不法投棄する
fact1: その用言は迷い難いかあるいは発生し易いか両方である fact2: もし仮に迷い難いかまたは発生し易い物はあるとすれば「あのシェフは不法投棄しない」ということは誤りでない
fact1 -> int1: 「迷い難いかあるいは発生し易いか両方ともな」物はある; int1 & fact2 -> hypothesis;
fact1 -> int1: (Ex): ({A}x v {B}x); int1 & fact2 -> hypothesis;
$facts$ = fact1: その用言は迷い難いかあるいは発生し易いか両方である fact2: もし仮に迷い難いかまたは発生し易い物はあるとすれば「あのシェフは不法投棄しない」ということは誤りでない ; $hypothesis$ = あのシェフは不法投棄する ; $proof$ = 
fact1 -> int1: 「迷い難いかあるいは発生し易いか両方ともな」物はある; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: その用言は迷い難いかあるいは発生し易いか両方である
事実2: もし仮に迷い難いかまたは発生し易い物はあるとすれば「あのシェフは不法投棄しない」ということは誤りでない

仮説: あのシェフは不法投棄する
1. 事実1から、推論1: "「迷い難いかあるいは発生し易いか両方ともな」物はある"が導かれる
2. 推論1と事実2から、仮説が否定される

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