そのぷちゃぷにゃLv.5は退かない
fact1: 仮にそのぴなぴなLv.28が跳ね上がるとするとそのまくまねLv.20は跳ね上がる fact2: もし仮にあるモンスターが跳ね上がるということはないならばそれはでっかいかそれは退かないかあるいは両方ともである fact3: とあるモンスターがでっかいか退かないとしたらそれは退かない fact4: あのまちゅまよLv.54は退く fact5: もしそのぴなぴなLv.28がでっかいならあのまちゅまよLv.54はかわゆい fact6: そのぴなぴなLv.28は跳ね上がるしまたでっかい fact7: もしも「あのまちゅまよLv.54はかわゆい」ということは真実であるならそのぷちゃぷにゃLv.5は退く
fact6 -> int1: そのぴなぴなLv.28はでっかい; int1 & fact5 -> int2: あのまちゅまよLv.54はかわゆい; int2 & fact7 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact7 -> hypothesis;
そのまくまねLv.20は跳ね上がるしおまけになあい
$facts$ = fact1: 仮にそのぴなぴなLv.28が跳ね上がるとするとそのまくまねLv.20は跳ね上がる fact2: もし仮にあるモンスターが跳ね上がるということはないならばそれはでっかいかそれは退かないかあるいは両方ともである fact3: とあるモンスターがでっかいか退かないとしたらそれは退かない fact4: あのまちゅまよLv.54は退く fact5: もしそのぴなぴなLv.28がでっかいならあのまちゅまよLv.54はかわゆい fact6: そのぴなぴなLv.28は跳ね上がるしまたでっかい fact7: もしも「あのまちゅまよLv.54はかわゆい」ということは真実であるならそのぷちゃぷにゃLv.5は退く ; $hypothesis$ = そのぷちゃぷにゃLv.5は退かない ; $proof$ = 
fact6 -> int1: そのぴなぴなLv.28はでっかい; int1 & fact5 -> int2: あのまちゅまよLv.54はかわゆい; int2 & fact7 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact7 -> hypothesis; __DISPROVED__