Charlie is round. Charlie is smart. Erin is cold. Erin is nice. Erin is round. Erin is white. Gary is green. Gary is round. Gary is white. Harry is cold. Harry is green. Harry is nice. Harry is round. Harry is smart. Harry is white. Smart people are cold. If someone is cold then they are white. White, round people are nice.
Gary is not cold.
@0: Charlie is round.[(triple1)] Charlie is smart.[(triple2)] Erin is cold.[(triple3)] Erin is nice.[(triple4 OR ((triple6 triple5) -> rule3) OR ((((triple3) -> rule2) triple5) -> rule3))] Erin is round.[(triple5)] Erin is white.[(triple6 OR ((triple3) -> rule2))] Gary is green.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9)] Harry is cold.[(triple10 OR ((triple14) -> rule1))] Harry is green.[(triple11)] Harry is nice.[(triple12 OR ((triple15 triple13) -> rule3) OR ((((triple10) -> rule2) triple13) -> rule3) OR ((((((triple14) -> rule1)) -> rule2) triple13) -> rule3))] Harry is round.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15 OR ((triple10) -> rule2) OR ((((triple14) -> rule1)) -> rule2))] @1: Charlie is cold.[(((triple2) -> rule1))] Gary is nice.[(((triple9 triple8) -> rule3))] @2: Charlie is white.[(((((triple2) -> rule1)) -> rule2))] @3: Charlie is nice.[(((((((triple2) -> rule1)) -> rule2) triple1) -> rule3))]