Charlie is big. Charlie is round. Charlie is smart. Erin is not big. Erin is blue. Erin is nice. Erin is not red. Erin is round. Erin is smart. Erin is white. If someone is blue then they are white. Nice people are not big. If someone is white then they are smart. All round, red people are not smart. If Erin is white then Erin is smart. If Erin is smart then Erin is round.
Charlie is not white.
@0: Charlie is big.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Erin is blue.[(triple5)] Erin is nice.[(triple6)] Erin is not big.[(triple4 OR ((triple6) -> rule2))] Erin is not red.[(triple7)] Erin is round.[(triple8 OR ((triple9) -> rule6) OR ((((triple10) -> rule3)) -> rule6) OR ((((triple10) -> rule5)) -> rule6) OR ((((((triple5) -> rule1)) -> rule3)) -> rule6) OR ((((((triple5) -> rule1)) -> rule5)) -> rule6))] Erin is smart.[(triple9 OR ((triple10) -> rule3) OR ((triple10) -> rule5) OR ((((triple5) -> rule1)) -> rule3) OR ((((triple5) -> rule1)) -> rule5))] Erin is white.[(triple10 OR ((triple5) -> rule1))]