「このまにゃまよLv.59は出所出来るしまた名高い」ということは成り立たない
fact1: このもねもよLv.46は出所出来る fact2: もし仮に何らかのモンスターが固いならば出所出来る fact3: 「このまにゃまよLv.59は固い」ということは事実と異なるということはない fact4: このまにゃまよLv.59は名高い
fact2 -> int1: もしも「このまにゃまよLv.59は固くない」ということは偽であるなら「このまにゃまよLv.59は出所出来る」ということは真実である; int1 & fact3 -> int2: このまにゃまよLv.59は出所出来る; int2 & fact4 -> hypothesis;
fact2 -> int1: {A}{aa} -> {C}{aa}; int1 & fact3 -> int2: {C}{aa}; int2 & fact4 -> hypothesis;
$facts$ = fact1: このもねもよLv.46は出所出来る fact2: もし仮に何らかのモンスターが固いならば出所出来る fact3: 「このまにゃまよLv.59は固い」ということは事実と異なるということはない fact4: このまにゃまよLv.59は名高い ; $hypothesis$ = 「このまにゃまよLv.59は出所出来るしまた名高い」ということは成り立たない ; $proof$ = 
fact2 -> int1: もしも「このまにゃまよLv.59は固くない」ということは偽であるなら「このまにゃまよLv.59は出所出来る」ということは真実である; int1 & fact3 -> int2: このまにゃまよLv.59は出所出来る; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> {C}{aa}; int1 & fact3 -> int2: {C}{aa}; int2 & fact4 -> hypothesis; __DISPROVED__