Charlie is blue. Fiona is nice. Gary is blue. Harry is rough. Nice things are blue. If something is rough then it is red. All rough things are blue. All blue, nice things are rough. If Gary is green then Gary is rough. All red, green things are nice.
Harry is blue.
@0: Charlie is blue.[(triple1)] Fiona is nice.[(triple2)] Gary is blue.[(triple3)] Harry is rough.[(triple4)] @1: Fiona is blue.[(((triple2) -> rule1))] Harry is blue.[(((triple4) -> rule3))] Harry is red.[(((triple4) -> rule2))] @2: Fiona is rough.[(((((triple2) -> rule1) triple2) -> rule4))] @3: Fiona is red.[(((((((triple2) -> rule1) triple2) -> rule4)) -> rule2))]