そのぴくぴにょLv.52は紛れ込む
fact1: もし仮にこのぷにゃぷにゃLv.85が態とらしいとするとそのぴくぴにょLv.52は紛れ込むということはない fact2: このぷにゃぷにゃLv.85は態とらしい
fact2 -> int1: このぷにゃぷにゃLv.85は態とらしい; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にこのぷにゃぷにゃLv.85が態とらしいとするとそのぴくぴにょLv.52は紛れ込むということはない fact2: このぷにゃぷにゃLv.85は態とらしい ; $hypothesis$ = そのぴくぴにょLv.52は紛れ込む ; $proof$ = 
fact2 -> int1: このぷにゃぷにゃLv.85は態とらしい; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__