このまえまちゅLv.68は浅ましかあるいは食えるか両方ともだ
fact1: もし仮に「話し易くないが小高い」モンスターがいるとすればこのまえまちゅLv.68は浅まし fact2: 仮にこのぴにぴねLv.5が小高くないとすると食えるし加えて話し易い fact3: あのぽくぽゆLv.80は話し易いということはない一方で小高い
fact3 -> int1: 「なにがしかのモンスターは話し易くない一方で小高い」ということは間違いでない; int1 & fact1 -> int2: 「このまえまちゅLv.68は浅まし」ということは成り立つ; int2 -> hypothesis;
fact3 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact1 -> int2: {C}{a}; int2 -> hypothesis;
「このまえまちゅLv.68は浅ましかもしくは食える」ということは事実と異なる
$facts$ = fact1: もし仮に「話し易くないが小高い」モンスターがいるとすればこのまえまちゅLv.68は浅まし fact2: 仮にこのぴにぴねLv.5が小高くないとすると食えるし加えて話し易い fact3: あのぽくぽゆLv.80は話し易いということはない一方で小高い ; $hypothesis$ = このまえまちゅLv.68は浅ましかあるいは食えるか両方ともだ ; $proof$ = 
fact3 -> int1: 「なにがしかのモンスターは話し易くない一方で小高い」ということは間違いでない; int1 & fact1 -> int2: 「このまえまちゅLv.68は浅まし」ということは成り立つ; int2 -> hypothesis; __PROVED__
fact3 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact1 -> int2: {C}{a}; int2 -> hypothesis; __PROVED__