このまのまいLv.29は薄ら寒くない
fact1: 「このぷなぷのLv.20は想定し難い」ということは真実だ fact2: このまのまいLv.29は想定し難い fact3: 「もしもとあるモンスターが巡礼しないならそれは薄ら寒くて想定し難い」ということは確かである fact4: もし仮にこのぷなぷのLv.20が薄ら寒いとするとこのまのまいLv.29は想定し難い fact5: このぷなぷのLv.20が想定し難いならこのまのまいLv.29は薄ら寒い fact6: もしも何らかのモンスターは想定し難くないかあるいは薄ら寒くないかどちらもならば薄ら寒くない
fact1 -> int1: 「このぷなぷのLv.20は想定し難い」ということは真実だ; int1 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
このまのまいLv.29は薄ら寒くない
fact7 -> int2: もし仮にこのまのまいLv.29が想定し難くないかあるいはそれが薄ら寒いということはないならばこのまのまいLv.29は薄ら寒くない;
$facts$ = fact1: 「このぷなぷのLv.20は想定し難い」ということは真実だ fact2: このまのまいLv.29は想定し難い fact3: 「もしもとあるモンスターが巡礼しないならそれは薄ら寒くて想定し難い」ということは確かである fact4: もし仮にこのぷなぷのLv.20が薄ら寒いとするとこのまのまいLv.29は想定し難い fact5: このぷなぷのLv.20が想定し難いならこのまのまいLv.29は薄ら寒い fact6: もしも何らかのモンスターは想定し難くないかあるいは薄ら寒くないかどちらもならば薄ら寒くない ; $hypothesis$ = このまのまいLv.29は薄ら寒くない ; $proof$ = 
fact1 -> int1: 「このぷなぷのLv.20は想定し難い」ということは真実だ; int1 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __DISPROVED__