そのまえまにゃLv.53は行き始めるししかもそれは思い易い
fact1: あのぷなぷえLv.46は格好悪いしそれは思い易い fact2: 厳くないモンスターは行き始めるしまた思い易い fact3: もし仮にあのぴえぴにゅLv.12は厳くないとしたら「「そのまえまにゃLv.53は行き始めるし更にそれは思い易い」ということは成り立つ」ということは間違いだ fact4: そのまえまにゃLv.53は厳くない
fact2 -> int1: もしもそのまえまにゃLv.53が厳くないとすればそのまえまにゃLv.53は行き始めるしかつ思い易い; int1 & fact4 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact4 -> hypothesis;
「そのまえまにゃLv.53は行き始めるしさらに思い易い」ということは嘘である
$facts$ = fact1: あのぷなぷえLv.46は格好悪いしそれは思い易い fact2: 厳くないモンスターは行き始めるしまた思い易い fact3: もし仮にあのぴえぴにゅLv.12は厳くないとしたら「「そのまえまにゃLv.53は行き始めるし更にそれは思い易い」ということは成り立つ」ということは間違いだ fact4: そのまえまにゃLv.53は厳くない ; $hypothesis$ = そのまえまにゃLv.53は行き始めるししかもそれは思い易い ; $proof$ = 
fact2 -> int1: もしもそのまえまにゃLv.53が厳くないとすればそのまえまにゃLv.53は行き始めるしかつ思い易い; int1 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact4 -> hypothesis; __PROVED__