このディアーは悟らす
fact1: もしこの社会的成熟が待つとしたらこのディアーは卑しい fact2: もし仮にこの社会的成熟が悟らさないか待たないかもしくはどちらもであるならばこのディアーは悟らさない fact3: この社会的成熟は維持すしそれは待つ fact4: もし仮になんらかのものが維持すとすればそれは悟らす fact5: 卑しいものは悟らす
fact3 -> int1: この社会的成熟は待つ; int1 & fact1 -> int2: このディアーは卑しい; fact5 -> int3: このディアーが卑しいとすれば悟らす; int2 & int3 -> hypothesis;
このディアーは悟らさない
$facts$ = fact1: もしこの社会的成熟が待つとしたらこのディアーは卑しい fact2: もし仮にこの社会的成熟が悟らさないか待たないかもしくはどちらもであるならばこのディアーは悟らさない fact3: この社会的成熟は維持すしそれは待つ fact4: もし仮になんらかのものが維持すとすればそれは悟らす fact5: 卑しいものは悟らす ; $hypothesis$ = このディアーは悟らす ; $proof$ = 
fact3 -> int1: この社会的成熟は待つ; int1 & fact1 -> int2: このディアーは卑しい; fact5 -> int3: このディアーが卑しいとすれば悟らす; int2 & int3 -> hypothesis; __PROVED__
事実1: もしこの社会的成熟が待つとしたらこのディアーは卑しい
事実2: もし仮にこの社会的成熟が悟らさないか待たないかもしくはどちらもであるならばこのディアーは悟らさない
事実3: この社会的成熟は維持すしそれは待つ
事実4: もし仮になんらかのものが維持すとすればそれは悟らす
事実5: 卑しいものは悟らす

仮説: このディアーは悟らす
1. 事実3から、推論1: "この社会的成熟は待つ"が導かれる
2. 推論1と事実1から、推論2: "このディアーは卑しい"が導かれる
3. 事実5から、推論3: "このディアーが卑しいとすれば悟らす"が導かれる
4. 推論2と推論3から、仮説が導かれる

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