あの大口は急き立てる
fact1: 葉書サイズは遠い fact2: この東京府知事は葉書サイズで更に太郎山だ fact3: この東京府知事は葉書サイズである fact4: もしもあの大口が太郎山であるか急き立てるかまたは両方であるとするとこの東京府知事は注しない fact5: もしもこの東京府知事は太郎山であるかまたは注するかあるいは両方ともであるとすると「あの大口は急き立てない」ということは本当だ fact6: 仮にこの東京府知事は注するとしたら「あの大口は急き立てない」ということは成り立つ
fact2 -> int1: この東京府知事は太郎山である; int1 -> int2: 「この東京府知事は太郎山であるかそれは注するかあるいは両方である」ということは成り立つ; int2 & fact5 -> hypothesis;
この東京府知事は遠いしそれは犯人探しである
fact7 -> int3: 仮にこの東京府知事は葉書サイズであるとしたら「それは遠い」ということは真実である;
$facts$ = fact1: 葉書サイズは遠い fact2: この東京府知事は葉書サイズで更に太郎山だ fact3: この東京府知事は葉書サイズである fact4: もしもあの大口が太郎山であるか急き立てるかまたは両方であるとするとこの東京府知事は注しない fact5: もしもこの東京府知事は太郎山であるかまたは注するかあるいは両方ともであるとすると「あの大口は急き立てない」ということは本当だ fact6: 仮にこの東京府知事は注するとしたら「あの大口は急き立てない」ということは成り立つ ; $hypothesis$ = あの大口は急き立てる ; $proof$ = 
fact2 -> int1: この東京府知事は太郎山である; int1 -> int2: 「この東京府知事は太郎山であるかそれは注するかあるいは両方である」ということは成り立つ; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: 葉書サイズは遠い
事実2: この東京府知事は葉書サイズで更に太郎山だ
事実3: この東京府知事は葉書サイズである
事実4: もしもあの大口が太郎山であるか急き立てるかまたは両方であるとするとこの東京府知事は注しない
事実5: もしもこの東京府知事は太郎山であるかまたは注するかあるいは両方ともであるとすると「あの大口は急き立てない」ということは本当だ
事実6: 仮にこの東京府知事は注するとしたら「あの大口は急き立てない」ということは成り立つ

仮説: あの大口は急き立てる
1. 事実2から、推論1: "この東京府知事は太郎山である"が導かれる
2. 推論1から、推論2: "「この東京府知事は太郎山であるかそれは注するかあるいは両方である」ということは成り立つ"が導かれる
3. 推論2と事実5から、仮説が否定される

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