以下のように仮定する。このまにゃまなLv.97は口煩い
fact1: もし仮にこのまにゃまなLv.97が違いならばこのまにゃまなLv.97はプレゼンしない fact2: もし仮にこのまにゃまなLv.97が口煩いかあるいは違いか両方ともであるとしたらこのまにゃまなLv.97はプレゼンしない fact3: もしこのぽくぽにゅLv.40が違いならばこのまにゃまなLv.97は違い fact4: もしもこのもなもくLv.53が違いならばこのぽくぽにゅLv.40は違い fact5: もし仮にこのまにゃまなLv.97が違いならばそのまやまわLv.76は違い fact6: あのまちゅまねLv.99は口煩い
void -> assump1: 以下のように仮定する。このまにゃまなLv.97は口煩い; assump1 -> int1: このまにゃまなLv.97は口煩いか違い; int1 & fact2 -> int2: このまにゃまなLv.97はプレゼンするということはない;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{a};
「そのまやまわLv.76は違くない」ということは間違いだ
$facts$ = fact1: もし仮にこのまにゃまなLv.97が違いならばこのまにゃまなLv.97はプレゼンしない fact2: もし仮にこのまにゃまなLv.97が口煩いかあるいは違いか両方ともであるとしたらこのまにゃまなLv.97はプレゼンしない fact3: もしこのぽくぽにゅLv.40が違いならばこのまにゃまなLv.97は違い fact4: もしもこのもなもくLv.53が違いならばこのぽくぽにゅLv.40は違い fact5: もし仮にこのまにゃまなLv.97が違いならばそのまやまわLv.76は違い fact6: あのまちゅまねLv.99は口煩い ; $hypothesis$ = 以下のように仮定する。このまにゃまなLv.97は口煩い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__