Charlie is cold. Charlie is white. Charlie is young. Erin is cold. Erin is green. Erin is kind. Erin is round. Erin is white. Erin is young. Fiona is green. Fiona is kind. Fiona is white. If Erin is smart and Erin is cold then Erin is white. White people are cold. Round, kind people are green. All cold people are round. All green, cold people are white. All round people are smart.
Charlie is not green.
@0: Charlie is cold.[(triple1 OR ((triple2) -> rule2))] Charlie is white.[(triple2)] Charlie is young.[(triple3)] Erin is cold.[(triple4 OR ((triple8) -> rule2))] Erin is green.[(triple5 OR ((triple7 triple6) -> rule3) OR ((((triple4) -> rule4) triple6) -> rule3) OR ((((((triple8) -> rule2)) -> rule4) triple6) -> rule3))] Erin is kind.[(triple6)] Erin is round.[(triple7 OR ((triple4) -> rule4) OR ((((triple8) -> rule2)) -> rule4))] Erin is white.[(triple8 OR ((triple5 triple4) -> rule5) OR ((((triple7) -> rule6) triple4) -> rule1) OR ((((triple7 triple6) -> rule3) triple4) -> rule5) OR ((((((triple4) -> rule4)) -> rule6) triple4) -> rule1) OR ((((((triple4) -> rule4) triple6) -> rule3) triple4) -> rule5))] Erin is young.[(triple9)] Fiona is green.[(triple10 OR ((((((triple12) -> rule2)) -> rule4) triple11) -> rule3))] Fiona is kind.[(triple11)] Fiona is white.[(triple12)] @1: Charlie is round.[(((triple1) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] Erin is smart.[(((triple7) -> rule6) OR ((((triple4) -> rule4)) -> rule6) OR ((((((triple8) -> rule2)) -> rule4)) -> rule6))] Fiona is cold.[(((triple12) -> rule2))] @2: Charlie is smart.[(((((triple1) -> rule4)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4)) -> rule6))] Fiona is round.[(((((triple12) -> rule2)) -> rule4))] @3: Fiona is smart.[(((((((triple12) -> rule2)) -> rule4)) -> rule6))]