そのリクルートブックは質問内容でない
fact1: もしもこのクラブアリストが御喜び申し上げないかあるいは先走るかもしくはどちらもであるならそれは恵み深い fact2: もしこのクラブアリストが恵み深いならばそのリクルートブックは質問内容である fact3: このクラブアリストは御喜び申し上げないか先走るかもしくは両方ともだ fact4: 質問内容は先走る
fact1 & fact3 -> int1: このクラブアリストは恵み深い; int1 & fact2 -> hypothesis;
そのレコード番号は先走る
fact5 -> int2: そのレコード番号が質問内容だとすればそれは先走る;
$facts$ = fact1: もしもこのクラブアリストが御喜び申し上げないかあるいは先走るかもしくはどちらもであるならそれは恵み深い fact2: もしこのクラブアリストが恵み深いならばそのリクルートブックは質問内容である fact3: このクラブアリストは御喜び申し上げないか先走るかもしくは両方ともだ fact4: 質問内容は先走る ; $hypothesis$ = そのリクルートブックは質問内容でない ; $proof$ = 
fact1 & fact3 -> int1: このクラブアリストは恵み深い; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもこのクラブアリストが御喜び申し上げないかあるいは先走るかもしくはどちらもであるならそれは恵み深い
事実2: もしこのクラブアリストが恵み深いならばそのリクルートブックは質問内容である
事実3: このクラブアリストは御喜び申し上げないか先走るかもしくは両方ともだ
事実4: 質問内容は先走る

仮説: そのリクルートブックは質問内容でない
1. 事実1と事実3から、推論1: "このクラブアリストは恵み深い"が導かれる
2. 推論1と事実2から、仮説が否定される

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