この先祖様は評価す
fact1: もしもこのロイヤル・アルバート・ホールは殺人未遂ならば「それは鏡鑑であるが評価すらない」ということは事実である fact2: この先祖様は生温くてさらに共同保証人である fact3: この先祖様は穿かす fact4: 共同保証人は穿かすけれど評価すということはない fact5: この先祖様は生温い fact6: あの御辛抱が共同保証人であるならこの先祖様は評価す
fact4 -> int1: この先祖様が共同保証人だとするとそれは穿かす一方で評価すらない; fact2 -> int2: この先祖様は共同保証人だ; int1 & int2 -> int3: この先祖様は穿かすがそれは評価すらない; int3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact2 -> int2: {A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); int3 -> hypothesis;
この先祖様は評価す
$facts$ = fact1: もしもこのロイヤル・アルバート・ホールは殺人未遂ならば「それは鏡鑑であるが評価すらない」ということは事実である fact2: この先祖様は生温くてさらに共同保証人である fact3: この先祖様は穿かす fact4: 共同保証人は穿かすけれど評価すということはない fact5: この先祖様は生温い fact6: あの御辛抱が共同保証人であるならこの先祖様は評価す ; $hypothesis$ = この先祖様は評価す ; $proof$ = 
fact4 -> int1: この先祖様が共同保証人だとするとそれは穿かす一方で評価すらない; fact2 -> int2: この先祖様は共同保証人だ; int1 & int2 -> int3: この先祖様は穿かすがそれは評価すらない; int3 -> hypothesis; __DISPROVED__
事実1: もしもこのロイヤル・アルバート・ホールは殺人未遂ならば「それは鏡鑑であるが評価すらない」ということは事実である
事実2: この先祖様は生温くてさらに共同保証人である
事実3: この先祖様は穿かす
事実4: 共同保証人は穿かすけれど評価すということはない
事実5: この先祖様は生温い
事実6: あの御辛抱が共同保証人であるならこの先祖様は評価す

仮説: この先祖様は評価す
1. 事実4から、推論1: "この先祖様が共同保証人だとするとそれは穿かす一方で評価すらない"が導かれる
2. 事実2から、推論2: "この先祖様は共同保証人だ"が導かれる
3. 推論1と推論2から、推論3: "この先祖様は穿かすがそれは評価すらない"が導かれる
4. 推論3から、仮説が否定される

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