「「仮に近付き過ぎないとしたら取り残すけれど近付き過ぎるということはない」モンスターはいる」ということは間違いである
fact1: 「実験するとしたら取り残すしさらに実験しない」モンスターはいる fact2: このまにゃまにゃLv.93は実験するしおまけにそれは取り残す
fact2 -> int1: このまにゃまにゃLv.93は取り残す; void -> assump1: 以下のように仮定する。このまにゃまにゃLv.93は近付き過ぎない; int1 & assump1 -> int2: このまにゃまにゃLv.93は取り残す一方で近付き過ぎない; [assump1] & int2 -> int3: このまにゃまにゃLv.93が近付き過ぎないならこのまにゃまにゃLv.93は取り残す一方で近付き過ぎるということはない; int3 -> hypothesis;
fact2 -> int1: {B}{a}; void -> assump1: ¬{C}{a}; int1 & assump1 -> int2: ({B}{a} & ¬{C}{a}); [assump1] & int2 -> int3: ¬{C}{a} -> ({B}{a} & ¬{C}{a}); int3 -> hypothesis;
$facts$ = fact1: 「実験するとしたら取り残すしさらに実験しない」モンスターはいる fact2: このまにゃまにゃLv.93は実験するしおまけにそれは取り残す ; $hypothesis$ = 「「仮に近付き過ぎないとしたら取り残すけれど近付き過ぎるということはない」モンスターはいる」ということは間違いである ; $proof$ = 
fact2 -> int1: このまにゃまにゃLv.93は取り残す; void -> assump1: 以下のように仮定する。このまにゃまにゃLv.93は近付き過ぎない; int1 & assump1 -> int2: このまにゃまにゃLv.93は取り残す一方で近付き過ぎない; [assump1] & int2 -> int3: このまにゃまにゃLv.93が近付き過ぎないならこのまにゃまにゃLv.93は取り残す一方で近付き過ぎるということはない; int3 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; void -> assump1: ¬{C}{a}; int1 & assump1 -> int2: ({B}{a} & ¬{C}{a}); [assump1] & int2 -> int3: ¬{C}{a} -> ({B}{a} & ¬{C}{a}); int3 -> hypothesis; __DISPROVED__