あのぷくぷえLv.87は熱くないかまたは如才無いかまたはどちらもだ
fact1: 何らかのモンスターは由々しとすると「それは熱くないかまたはそれは如才無い」ということは誤りだ fact2: 由々しないモンスターは熱くないかもしくは如才無いかまたは両方だ fact3: 壊れ易いモンスターは由々し fact4: あのぷくぷえLv.87は由々しない fact5: 仮にとあるモンスターが由々しということはないならば熱いかあるいは如才無いかもしくは両方だ
fact2 -> int1: 仮にあのぷくぷえLv.87が由々しないならそれは熱くないかもしくは如才無いかもしくは両方ともだ; int1 & fact4 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact4 -> hypothesis;
「あのぷくぷえLv.87は熱くないかもしくは如才無い」ということは誤りである
fact6 -> int2: もしあのぷくぷえLv.87は由々しならば「熱くないか如才無い」ということは偽だ; fact7 -> int3: あのぷくぷえLv.87が壊れ易いならばあのぷくぷえLv.87は由々し;
$facts$ = fact1: 何らかのモンスターは由々しとすると「それは熱くないかまたはそれは如才無い」ということは誤りだ fact2: 由々しないモンスターは熱くないかもしくは如才無いかまたは両方だ fact3: 壊れ易いモンスターは由々し fact4: あのぷくぷえLv.87は由々しない fact5: 仮にとあるモンスターが由々しということはないならば熱いかあるいは如才無いかもしくは両方だ ; $hypothesis$ = あのぷくぷえLv.87は熱くないかまたは如才無いかまたはどちらもだ ; $proof$ = 
fact2 -> int1: 仮にあのぷくぷえLv.87が由々しないならそれは熱くないかもしくは如才無いかもしくは両方ともだ; int1 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact4 -> hypothesis; __PROVED__