Erin is green. Erin is rough. Erin is young. Gary is nice. Harry is green. Harry is nice. Harry is young. If something is cold and rough then it is nice. All green things are cold. If Erin is furry and Erin is rough then Erin is nice. All green, nice things are cold. If Gary is rough then Gary is young. All nice things are red.
Erin is not nice.
@0: Erin is green.[(triple1)] Erin is rough.[(triple2)] Erin is young.[(triple3)] Gary is nice.[(triple4)] Harry is green.[(triple5)] Harry is nice.[(triple6)] Harry is young.[(triple7)] @1: Erin is cold.[(((triple1) -> rule2))] Gary is red.[(((triple4) -> rule6))] Harry is cold.[(((triple5) -> rule2) OR ((triple5 triple6) -> rule4))] Harry is red.[(((triple6) -> rule6))] @2: Erin is nice.[(((((triple1) -> rule2) triple2) -> rule1))] @3: Erin is red.[(((((((triple1) -> rule2) triple2) -> rule1)) -> rule6))]