「そのまにょまちゅLv.17はしおらしくない」ということは本当である
fact1: もし仮に「そのまにょまちゅLv.17は御固くなくてまたしおらしくない」ということは偽だとしたらそのまにょまにゅLv.75は理屈っぽくない
void -> assump1: 以下のように仮定する。「そのまにょまちゅLv.17は御固くないししおらしくない」ということは事実と異なる; fact1 & assump1 -> int1: そのまにょまにゅLv.75は理屈っぽいということはない;
void -> assump1: ¬(¬{AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: ¬{B}{b};
$facts$ = fact1: もし仮に「そのまにょまちゅLv.17は御固くなくてまたしおらしくない」ということは偽だとしたらそのまにょまにゅLv.75は理屈っぽくない ; $hypothesis$ = 「そのまにょまちゅLv.17はしおらしくない」ということは本当である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__