「このウアスはフィンガー・パームするかまたはこよないかあるいは両方である」ということは成り立つということはない
fact1: このウアスはフィンガー・パームする fact2: あの知力ボーナスはフィンガー・パームする fact3: この難航はフィンガー・パームする fact4: このウアスはえげつない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: このウアスはフィンガー・パームする fact2: あの知力ボーナスはフィンガー・パームする fact3: この難航はフィンガー・パームする fact4: このウアスはえげつない ; $hypothesis$ = 「このウアスはフィンガー・パームするかまたはこよないかあるいは両方である」ということは成り立つということはない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: このウアスはフィンガー・パームする
事実2: あの知力ボーナスはフィンガー・パームする
事実3: この難航はフィンガー・パームする
事実4: このウアスはえげつない

仮説: 「このウアスはフィンガー・パームするかまたはこよないかあるいは両方である」ということは成り立つということはない
1. 事実1から、仮説が否定される

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