Anne is rough. Fiona is rough. Gary is nice. If something is smart and not round then it is rough. If Fiona is rough and Fiona is nice then Fiona is young. If something is kind and rough then it is smart. If something is rough then it is red. If Fiona is kind then Fiona is smart. All smart things are young.
Gary is smart.
@0: Anne is rough.[(triple1)] Fiona is rough.[(triple2)] Gary is nice.[(triple3)] @1: Anne is red.[(((triple1) -> rule4))] Fiona is red.[(((triple2) -> rule4))]