Erin is red. Fiona is green. Fiona is smart. Gary is cold. Gary is red. Gary is smart. Harry is red. Smart people are rough. If Fiona is big then Fiona is green. If Gary is rough then Gary is green.
Harry is not red.
@0: Erin is red.[(triple1)] Fiona is green.[(triple2)] Fiona is smart.[(triple3)] Gary is cold.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Harry is red.[(triple7)] @1: Fiona is rough.[(((triple3) -> rule1))] Gary is rough.[(((triple6) -> rule1))] @2: Gary is green.[(((((triple6) -> rule1)) -> rule3))]