このぴやぴやLv.85はしどけなくてまた真白い
fact1: 仮にこのぴやぴやLv.85は具備すらないけど御恥ずかしいならしどけない fact2: 全てのモンスターは具備すらないしまた御恥ずかしい fact3: このぴやぴやLv.85は真白い fact4: もし仮に「何らかのモンスターは具備すけれど黙さない」ということは成り立たないなら具備すということはない
fact2 -> int1: このぴやぴやLv.85は具備すらないが御恥ずかしい; int1 & fact1 -> int2: このぴやぴやLv.85はしどけない; int2 & fact3 -> hypothesis;
fact2 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact1 -> int2: {C}{aa}; int2 & fact3 -> hypothesis;
「「このぴやぴやLv.85はしどけないしかつ真白い」ということは本当である」ということは成り立たない
fact5 -> int3: もしも「このぴやぴやLv.85は具備すが黙すということはない」ということは嘘なら具備すらない;
$facts$ = fact1: 仮にこのぴやぴやLv.85は具備すらないけど御恥ずかしいならしどけない fact2: 全てのモンスターは具備すらないしまた御恥ずかしい fact3: このぴやぴやLv.85は真白い fact4: もし仮に「何らかのモンスターは具備すけれど黙さない」ということは成り立たないなら具備すということはない ; $hypothesis$ = このぴやぴやLv.85はしどけなくてまた真白い ; $proof$ = 
fact2 -> int1: このぴやぴやLv.85は具備すらないが御恥ずかしい; int1 & fact1 -> int2: このぴやぴやLv.85はしどけない; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact1 -> int2: {C}{aa}; int2 & fact3 -> hypothesis; __PROVED__