逻辑证明题请用一加一不等3证明某人是猪