Charlie is cold. Fiona is rough. Fiona is young. Gary is rough. Gary is young. Harry is nice. Harry is rough. Young people are cold. If someone is red and cold then they are rough. If someone is red and young then they are green. Cold people are rough. All cold, rough people are nice. If someone is green and rough then they are cold. If someone is red then they are cold. All kind, cold people are rough.
Gary is not rough.
@0: Charlie is cold.[(triple1)] Fiona is rough.[(triple2 OR ((((triple3) -> rule1)) -> rule4))] Fiona is young.[(triple3)] Gary is rough.[(triple4 OR ((((triple5) -> rule1)) -> rule4))] Gary is young.[(triple5)] Harry is nice.[(triple6)] Harry is rough.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule4))] Fiona is cold.[(((triple3) -> rule1))] Gary is cold.[(((triple5) -> rule1))] @2: Charlie is nice.[(((triple1 ((triple1) -> rule4)) -> rule5))] Fiona is nice.[(((((triple3) -> rule1) triple2) -> rule5) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule4)) -> rule5))] Gary is nice.[(((((triple5) -> rule1) triple4) -> rule5) OR ((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule4)) -> rule5))]