そのぴゆぴねLv.15は引き兼ねない
fact1: 「そのぴにぴやLv.74は新しいけど如何しない」ということは成り立たない fact2: もしもなんらかのモンスターは扶養するとすれば「それは新しいし更にそれは如何しない」ということは間違いだ fact3: そのぴにぴやLv.74は扶養する fact4: 仮に「そのぴにぴやLv.74は新しくないし如何しない」ということは正しいということはないとしたらそのぴゆぴねLv.15は引き兼ねない fact5: 仮に何らかのモンスターは扶養するとすると「新しくないし加えて如何しない」ということは成り立たない fact6: 「そのぴにぴやLv.74は新しくないが如何する」ということは真実であるということはない
fact5 -> int1: 仮にそのぴにぴやLv.74は扶養するとすれば「新しくないしおまけにそれは如何しない」ということは偽である; int1 & fact3 -> int2: 「そのぴにぴやLv.74は新しくないししかも如何しない」ということは成り立たない; int2 & fact4 -> hypothesis;
fact5 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 「そのぴにぴやLv.74は新しいけど如何しない」ということは成り立たない fact2: もしもなんらかのモンスターは扶養するとすれば「それは新しいし更にそれは如何しない」ということは間違いだ fact3: そのぴにぴやLv.74は扶養する fact4: 仮に「そのぴにぴやLv.74は新しくないし如何しない」ということは正しいということはないとしたらそのぴゆぴねLv.15は引き兼ねない fact5: 仮に何らかのモンスターは扶養するとすると「新しくないし加えて如何しない」ということは成り立たない fact6: 「そのぴにぴやLv.74は新しくないが如何する」ということは真実であるということはない ; $hypothesis$ = そのぴゆぴねLv.15は引き兼ねない ; $proof$ = 
fact5 -> int1: 仮にそのぴにぴやLv.74は扶養するとすれば「新しくないしおまけにそれは如何しない」ということは偽である; int1 & fact3 -> int2: 「そのぴにぴやLv.74は新しくないししかも如何しない」ということは成り立たない; int2 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> hypothesis; __PROVED__