この判事は医者だということはない
fact1: もし「この平板培地は医者であるかまたは叫び返すかまたは両方ともだ」ということは事実と異なるならばあの判事は長期滞在しない fact2: もしこの平板培地が長期滞在するとしたらこの判事は医者である fact3: 「この平板培地は永正年間でその上それは診察する」ということは正しい fact4: もし仮にこの平板培地が診察するとすればそれは長期滞在する
fact3 -> int1: この平板培地は診察する; int1 & fact4 -> int2: この平板培地は長期滞在する; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
この判事は診察する
$facts$ = fact1: もし「この平板培地は医者であるかまたは叫び返すかまたは両方ともだ」ということは事実と異なるならばあの判事は長期滞在しない fact2: もしこの平板培地が長期滞在するとしたらこの判事は医者である fact3: 「この平板培地は永正年間でその上それは診察する」ということは正しい fact4: もし仮にこの平板培地が診察するとすればそれは長期滞在する ; $hypothesis$ = この判事は医者だということはない ; $proof$ = 
fact3 -> int1: この平板培地は診察する; int1 & fact4 -> int2: この平板培地は長期滞在する; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: もし「この平板培地は医者であるかまたは叫び返すかまたは両方ともだ」ということは事実と異なるならばあの判事は長期滞在しない
事実2: もしこの平板培地が長期滞在するとしたらこの判事は医者である
事実3: 「この平板培地は永正年間でその上それは診察する」ということは正しい
事実4: もし仮にこの平板培地が診察するとすればそれは長期滞在する

仮説: この判事は医者だということはない
1. 事実3から、推論1: "この平板培地は診察する"が導かれる
2. 推論1と事実4から、推論2: "この平板培地は長期滞在する"が導かれる
3. 推論2と事実2から、仮説が否定される

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