そのラチェットは相応しい
fact1: あのゴム製は立錐だ fact2: 仮にあのゴム製が懐っこいか名状し難いかあるいは両方だとすればそのラチェットは相応しかない fact3: もし仮にあのゴム製は立錐であるとすれば懐っこい
fact3 & fact1 -> int1: あのゴム製は懐っこい; int1 -> int2: あのゴム製は懐っこいかあるいは名状し難いかあるいは両方である; int2 & fact2 -> hypothesis;
$facts$ = fact1: あのゴム製は立錐だ fact2: 仮にあのゴム製が懐っこいか名状し難いかあるいは両方だとすればそのラチェットは相応しかない fact3: もし仮にあのゴム製は立錐であるとすれば懐っこい ; $hypothesis$ = そのラチェットは相応しい ; $proof$ = 
fact3 & fact1 -> int1: あのゴム製は懐っこい; int1 -> int2: あのゴム製は懐っこいかあるいは名状し難いかあるいは両方である; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: あのゴム製は立錐だ
事実2: 仮にあのゴム製が懐っこいか名状し難いかあるいは両方だとすればそのラチェットは相応しかない
事実3: もし仮にあのゴム製は立錐であるとすれば懐っこい

仮説: そのラチェットは相応しい
1. 事実3と事実1から、推論1: "あのゴム製は懐っこい"が導かれる
2. 推論1から、推論2: "あのゴム製は懐っこいかあるいは名状し難いかあるいは両方である"が導かれる
3. 推論2と事実2から、仮説が否定される

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