「「紛らわしいとすれば「見劣りしないけれどちぎれ易い」ということは成り立たない」モンスターはいる」ということは成り立たない
fact1: なにがしかのモンスターは紛らわしいなら「見劣りするしさらにちぎれ易い」ということは確かでない fact2: 「仮に紛らわしいとすれば「見劣りするしおまけにちぎれ易い」ということは正しくない」モンスターはいる fact3: 仮に何らかのモンスターは紛らわしいなら「見劣りしなくてそれにちぎれ易い」ということは事実と異なる
fact3 -> int1: このもにゅもにょLv.75は紛らわしいならば「このもにゅもにょLv.75は見劣りしないけれどちぎれ易い」ということは確かでない; int1 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: なにがしかのモンスターは紛らわしいなら「見劣りするしさらにちぎれ易い」ということは確かでない fact2: 「仮に紛らわしいとすれば「見劣りするしおまけにちぎれ易い」ということは正しくない」モンスターはいる fact3: 仮に何らかのモンスターは紛らわしいなら「見劣りしなくてそれにちぎれ易い」ということは事実と異なる ; $hypothesis$ = 「「紛らわしいとすれば「見劣りしないけれどちぎれ易い」ということは成り立たない」モンスターはいる」ということは成り立たない ; $proof$ = 
fact3 -> int1: このもにゅもにょLv.75は紛らわしいならば「このもにゅもにょLv.75は見劣りしないけれどちぎれ易い」ということは確かでない; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis; __DISPROVED__