Erin is green. Fiona is smart. Gary is green. Harry is nice. If Erin is rough and Erin is smart then Erin is not cold. If Erin is nice and Erin is rough then Erin is big. If Erin is rough then Erin is round. If someone is rough and not big then they are not cold. If someone is nice then they are green. If someone is smart and cold then they are green.
Erin is not big.
@0: Erin is green.[(triple1)] Fiona is smart.[(triple2)] Gary is green.[(triple3)] Harry is nice.[(triple4)] @1: Harry is green.[(((triple4) -> rule5))]