Erin is kind. Erin is white. Erin is young. Fiona is not cold. Fiona is young. Gary is blue. Gary is cold. Gary is kind. Gary is white. Gary is young. Harry is blue. Harry is cold. Harry is kind. Harry is not rough. Harry is white. If something is white then it is blue. If something is rough then it is not blue. Young, blue things are cold.
Fiona is round.
@0: Erin is kind.[(triple1)] Erin is white.[(triple2)] Erin is young.[(triple3)] Fiona is not cold.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6 OR ((triple9) -> rule1))] Gary is cold.[(triple7 OR ((triple10 triple6) -> rule3) OR ((triple10 ((triple9) -> rule1)) -> rule3))] Gary is kind.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] Harry is blue.[(triple11 OR ((triple15) -> rule1))] Harry is cold.[(triple12)] Harry is kind.[(triple13)] Harry is not rough.[(triple14)] Harry is white.[(triple15)] @1: Erin is blue.[(((triple2) -> rule1))] @2: Erin is cold.[(((triple3 ((triple2) -> rule1)) -> rule3))]