このもいもにょLv.21は大人気無くないがしかし易しい
fact1: 「このぽゆぽよLv.64は興味深くてまた関係深い」ということは事実と異なる fact2: このもいもにょLv.21は易しい fact3: このぴえぴゆLv.86が大人気無くないとすればこのもいもにょLv.21は大人気無くない一方でそれは易しい fact4: もしなにがしかのモンスターが関係深くないならばこのぴえぴゆLv.86は大人気無くない fact5: もしも「「興味深いし関係深い」ということは事実でない」モンスターがいればこのぴえぴゆLv.86は大人気無くない
fact1 -> int1: 「「興味深くて関係深い」ということは偽である」モンスターはいる; int1 & fact5 -> int2: このぴえぴゆLv.86は大人気無くない; int2 & fact3 -> hypothesis;
fact1 -> int1: (Ex): ¬({AA}x & {AB}x); int1 & fact5 -> int2: ¬{A}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 「このぽゆぽよLv.64は興味深くてまた関係深い」ということは事実と異なる fact2: このもいもにょLv.21は易しい fact3: このぴえぴゆLv.86が大人気無くないとすればこのもいもにょLv.21は大人気無くない一方でそれは易しい fact4: もしなにがしかのモンスターが関係深くないならばこのぴえぴゆLv.86は大人気無くない fact5: もしも「「興味深いし関係深い」ということは事実でない」モンスターがいればこのぴえぴゆLv.86は大人気無くない ; $hypothesis$ = このもいもにょLv.21は大人気無くないがしかし易しい ; $proof$ = 
fact1 -> int1: 「「興味深くて関係深い」ということは偽である」モンスターはいる; int1 & fact5 -> int2: このぴえぴゆLv.86は大人気無くない; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: (Ex): ¬({AA}x & {AB}x); int1 & fact5 -> int2: ¬{A}{a}; int2 & fact3 -> hypothesis; __PROVED__