あのラッタルは餓鬼っぽくない
fact1: もし仮に「なにかは中山競馬場であるか折り曲げるかどちらもである」ということは成り立たないならば餓鬼っぽくない fact2: もし仮に「なんらかのものは折り曲げないしそれに職責でない」ということは成り立たないとすれば中山競馬場でない fact3: もし仮に何らかのものは草丈でないなら「あのラッタルは中山競馬場であるかあるいはそれは折り曲げるか両方である」ということは誤りである fact4: 「草丈でない」物はある
fact4 & fact3 -> int1: 「あのラッタルは中山競馬場であるかもしくは折り曲げるかもしくはどちらもである」ということは成り立たない; fact1 -> int2: もし「あのラッタルは中山競馬場であるか折り曲げる」ということは正しくないとするとそれは餓鬼っぽくない; int1 & int2 -> hypothesis;
あのラッタルは餓鬼っぽい
fact5 -> int3: もし「このラポールが折り曲げないしさらに職責でない」ということは成り立つということはないなら中山競馬場でない;
$facts$ = fact1: もし仮に「なにかは中山競馬場であるか折り曲げるかどちらもである」ということは成り立たないならば餓鬼っぽくない fact2: もし仮に「なんらかのものは折り曲げないしそれに職責でない」ということは成り立たないとすれば中山競馬場でない fact3: もし仮に何らかのものは草丈でないなら「あのラッタルは中山競馬場であるかあるいはそれは折り曲げるか両方である」ということは誤りである fact4: 「草丈でない」物はある ; $hypothesis$ = あのラッタルは餓鬼っぽくない ; $proof$ = 
fact4 & fact3 -> int1: 「あのラッタルは中山競馬場であるかもしくは折り曲げるかもしくはどちらもである」ということは成り立たない; fact1 -> int2: もし「あのラッタルは中山競馬場であるか折り曲げる」ということは正しくないとするとそれは餓鬼っぽくない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「なにかは中山競馬場であるか折り曲げるかどちらもである」ということは成り立たないならば餓鬼っぽくない
事実2: もし仮に「なんらかのものは折り曲げないしそれに職責でない」ということは成り立たないとすれば中山競馬場でない
事実3: もし仮に何らかのものは草丈でないなら「あのラッタルは中山競馬場であるかあるいはそれは折り曲げるか両方である」ということは誤りである
事実4: 「草丈でない」物はある

仮説: あのラッタルは餓鬼っぽくない
1. 事実4と事実3から、推論1: "「あのラッタルは中山競馬場であるかもしくは折り曲げるかもしくはどちらもである」ということは成り立たない"が導かれる
2. 事実1から、推論2: "もし「あのラッタルは中山競馬場であるか折り曲げる」ということは正しくないとするとそれは餓鬼っぽくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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