そのぷにぷゆLv.45は際限無くない
fact1: そのぷにぷゆLv.45は生々しいししかもすげない fact2: そのぷにぷゆLv.45が生々しいとすると際限無い
fact1 -> int1: そのぷにぷゆLv.45は生々しい; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: そのぷにぷゆLv.45は生々しいししかもすげない fact2: そのぷにぷゆLv.45が生々しいとすると際限無い ; $hypothesis$ = そのぷにぷゆLv.45は際限無くない ; $proof$ = 
fact1 -> int1: そのぷにぷゆLv.45は生々しい; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__