Anne is white. Charlie is white. Erin is round. Fiona is round. Round people are white. White, green people are red. If someone is smart and round then they are kind. Kind people are cold. White people are kind. Kind people are white. All smart, red people are green. Round people are smart.
Erin is not kind.
@0: Anne is white.[(triple1)] Charlie is white.[(triple2)] Erin is round.[(triple3)] Fiona is round.[(triple4)] @1: Anne is kind.[(((triple1) -> rule5))] Charlie is kind.[(((triple2) -> rule5))] Erin is smart.[(((triple3) -> rule8))] Erin is white.[(((triple3) -> rule1) OR ((((((triple3) -> rule8) triple3) -> rule3)) -> rule6))] Fiona is smart.[(((triple4) -> rule8))] Fiona is white.[(((triple4) -> rule1) OR ((((((triple4) -> rule8) triple4) -> rule3)) -> rule6))] @2: Anne is cold.[(((((triple1) -> rule5)) -> rule4))] Charlie is cold.[(((((triple2) -> rule5)) -> rule4))] Erin is kind.[(((((triple3) -> rule1)) -> rule5) OR ((((triple3) -> rule8) triple3) -> rule3))] Fiona is kind.[(((((triple4) -> rule1)) -> rule5) OR ((((triple4) -> rule8) triple4) -> rule3))] @3: Erin is cold.[(((((((triple3) -> rule1)) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) triple3) -> rule3)) -> rule4))] Fiona is cold.[(((((((triple4) -> rule1)) -> rule5)) -> rule4) OR ((((((triple4) -> rule8) triple4) -> rule3)) -> rule4))]