「「このまねまやLv.8は割り算するかもしくは伴い易いかまたは両方である」ということは嘘だ」ということは誤っていない
fact1: このまねまやLv.8は冗談っぽい fact2: 「それは仕方無しないけど恥ずかしい」ということは成り立つというモンスターはない fact3: 「このもねもにゅLv.89は伴い易くないがそれは変成する」ということは偽だ fact4: このまねまやLv.8は恥ずかしいかまたは相応しい fact5: それは伴い易いということはないが割り算するというモンスターはない
fact2 -> int1: 「このもわもわLv.8は仕方無しないがそれは恥ずかしい」ということは間違いだ;
fact2 -> int1: ¬(¬{AA}{aa} & {AB}{aa});
$facts$ = fact1: このまねまやLv.8は冗談っぽい fact2: 「それは仕方無しないけど恥ずかしい」ということは成り立つというモンスターはない fact3: 「このもねもにゅLv.89は伴い易くないがそれは変成する」ということは偽だ fact4: このまねまやLv.8は恥ずかしいかまたは相応しい fact5: それは伴い易いということはないが割り算するというモンスターはない ; $hypothesis$ = 「「このまねまやLv.8は割り算するかもしくは伴い易いかまたは両方である」ということは嘘だ」ということは誤っていない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__