このプロフェッショナルは召し出すかまたはそれは探偵する
fact1: 仮に「あの認否書は丸絎けであるかまたはそれはカントリーハウスである」ということは本当であるとしたらこの促音は曲がり掛けない fact2: もし仮にあの認否書が判読するかもしくは抜け易くないかあるいはどちらもであるとするとこのプロフェッショナルは召し出す fact3: この促音が曲がり掛けないとすれば甘酸っぱくない fact4: この促音は甘酸っぱい fact5: もしもあの認否書が丸絎けでないならばそれは判読するかあるいは抜け易くない
void -> assump1: 以下のように仮定する。あの認否書は丸絎けである; assump1 -> int1: あの認否書は丸絎けであるかまたはそれはカントリーハウスであるかどちらもである; int1 & fact1 -> int2: この促音は曲がり掛けない; int2 & fact3 -> int3: この促音は甘酸っぱくない; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの認否書は丸絎けだということはない; int5 & fact5 -> int6: あの認否書は判読するかあるいは抜け易くないか両方ともである; int6 & fact2 -> int7: このプロフェッショナルは召し出す; int7 -> hypothesis;
$facts$ = fact1: 仮に「あの認否書は丸絎けであるかまたはそれはカントリーハウスである」ということは本当であるとしたらこの促音は曲がり掛けない fact2: もし仮にあの認否書が判読するかもしくは抜け易くないかあるいはどちらもであるとするとこのプロフェッショナルは召し出す fact3: この促音が曲がり掛けないとすれば甘酸っぱくない fact4: この促音は甘酸っぱい fact5: もしもあの認否書が丸絎けでないならばそれは判読するかあるいは抜け易くない ; $hypothesis$ = このプロフェッショナルは召し出すかまたはそれは探偵する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの認否書は丸絎けである; assump1 -> int1: あの認否書は丸絎けであるかまたはそれはカントリーハウスであるかどちらもである; int1 & fact1 -> int2: この促音は曲がり掛けない; int2 & fact3 -> int3: この促音は甘酸っぱくない; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの認否書は丸絎けだということはない; int5 & fact5 -> int6: あの認否書は判読するかあるいは抜け易くないか両方ともである; int6 & fact2 -> int7: このプロフェッショナルは召し出す; int7 -> hypothesis; __PROVED__
事実1: 仮に「あの認否書は丸絎けであるかまたはそれはカントリーハウスである」ということは本当であるとしたらこの促音は曲がり掛けない
事実2: もし仮にあの認否書が判読するかもしくは抜け易くないかあるいはどちらもであるとするとこのプロフェッショナルは召し出す
事実3: この促音が曲がり掛けないとすれば甘酸っぱくない
事実4: この促音は甘酸っぱい
事実5: もしもあの認否書が丸絎けでないならばそれは判読するかあるいは抜け易くない

仮説: このプロフェッショナルは召し出すかまたはそれは探偵する
1. 仮定1: 以下のように仮定する。あの認否書は丸絎けである
2. 仮定1から、推論1: "あの認否書は丸絎けであるかまたはそれはカントリーハウスであるかどちらもである"が導かれる
3. 推論1と事実1から、推論2: "この促音は曲がり掛けない"が導かれる
4. 推論2と事実3から、推論3: "この促音は甘酸っぱくない"が導かれる
5. 推論3と事実4から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの認否書は丸絎けだということはない"が導かれる
7. 推論5と事実5から、推論6: "あの認否書は判読するかあるいは抜け易くないか両方ともである"が導かれる
8. 推論6と事実2から、推論7: "このプロフェッショナルは召し出す"が導かれる
9. 推論7から、仮説が導かれる

よって、仮説が証明されました。