Anne is not rough. Fiona is smart. Gary is smart. Harry is big. If something is white and not big then it is not smart. If Harry is not green then Harry is rough. Smart things are blue.
Gary is blue.
@0: Anne is not rough.[(triple1)] Fiona is smart.[(triple2)] Gary is smart.[(triple3)] Harry is big.[(triple4)] @1: Fiona is blue.[(((triple2) -> rule3))] Gary is blue.[(((triple3) -> rule3))]