Charlie is cold. Charlie is nice. Charlie is round. Charlie is smart. Erin is round. Erin is smart. Erin is young. All nice people are rough. All rough people are white. Young people are cold. If Charlie is smart and Charlie is cold then Charlie is white. If someone is smart and white then they are cold. Smart people are nice.
Charlie is white.
@0: Charlie is cold.[(triple1 OR ((triple4 ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((triple4 ((((((triple4) -> rule6)) -> rule1)) -> rule2)) -> rule5))] Charlie is nice.[(triple2 OR ((triple4) -> rule6))] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] @1: Charlie is rough.[(((triple2) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] Charlie is white.[(((triple4 triple1) -> rule4) OR ((((triple2) -> rule1)) -> rule2) OR ((((((triple4) -> rule6)) -> rule1)) -> rule2))] Erin is cold.[(((triple7) -> rule3) OR ((triple6 ((((((triple6) -> rule6)) -> rule1)) -> rule2)) -> rule5))] Erin is nice.[(((triple6) -> rule6))] @2: Erin is rough.[(((((triple6) -> rule6)) -> rule1))] @3: Erin is white.[(((((((triple6) -> rule6)) -> rule1)) -> rule2))]