あのムルナウはδ点だ
fact1: 仮にこの青草が作業し易くないしそれに引き難くないとするとその其れ以上先は人間らしい fact2: 「この青草は離れ難いということはなくて人間らしくない」ということは成り立たないならそれは難しい fact3: もしもこの青草が作業し易いかまたはそれが難しいかあるいは両方であるとするとその其れ以上先は引き難くない fact4: もし仮にこの青草が離れ難くなくて人間らしくないならあのムルナウはδ点である fact5: あらゆるものは引き難い
void -> assump1: 以下のように仮定する。「この青草は離れ難くなくて人間らしくない」ということは間違いだ; fact2 & assump1 -> int1: この青草は難しい; int1 -> int2: この青草は作業し易いかそれは難しい; int2 & fact3 -> int3: その其れ以上先は引き難くない; fact5 -> int4: その其れ以上先は引き難い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この青草は離れ難くないしそれに人間らしくない; int6 & fact4 -> hypothesis;
$facts$ = fact1: 仮にこの青草が作業し易くないしそれに引き難くないとするとその其れ以上先は人間らしい fact2: 「この青草は離れ難いということはなくて人間らしくない」ということは成り立たないならそれは難しい fact3: もしもこの青草が作業し易いかまたはそれが難しいかあるいは両方であるとするとその其れ以上先は引き難くない fact4: もし仮にこの青草が離れ難くなくて人間らしくないならあのムルナウはδ点である fact5: あらゆるものは引き難い ; $hypothesis$ = あのムルナウはδ点だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この青草は離れ難くなくて人間らしくない」ということは間違いだ; fact2 & assump1 -> int1: この青草は難しい; int1 -> int2: この青草は作業し易いかそれは難しい; int2 & fact3 -> int3: その其れ以上先は引き難くない; fact5 -> int4: その其れ以上先は引き難い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この青草は離れ難くないしそれに人間らしくない; int6 & fact4 -> hypothesis; __PROVED__
事実1: 仮にこの青草が作業し易くないしそれに引き難くないとするとその其れ以上先は人間らしい
事実2: 「この青草は離れ難いということはなくて人間らしくない」ということは成り立たないならそれは難しい
事実3: もしもこの青草が作業し易いかまたはそれが難しいかあるいは両方であるとするとその其れ以上先は引き難くない
事実4: もし仮にこの青草が離れ難くなくて人間らしくないならあのムルナウはδ点である
事実5: あらゆるものは引き難い

仮説: あのムルナウはδ点だ
1. 仮定1: 以下のように仮定する。「この青草は離れ難くなくて人間らしくない」ということは間違いだ
2. 事実2と仮定1から、推論1: "この青草は難しい"が導かれる
3. 推論1から、推論2: "この青草は作業し易いかそれは難しい"が導かれる
4. 推論2と事実3から、推論3: "その其れ以上先は引き難くない"が導かれる
5. 事実5から、推論4: "その其れ以上先は引き難い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この青草は離れ難くないしそれに人間らしくない"が導かれる
8. 推論6と事実4から、仮説が導かれる

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