Anne is young. Fiona is green. Gary is young. Harry is smart. Young, nice things are quiet. If Gary is rough and Gary is quiet then Gary is smart. If Harry is smart and Harry is young then Harry is nice. Rough, smart things are young. All green things are smart. All red, rough things are smart.
Gary is young.
@0: Anne is young.[(triple1)] Fiona is green.[(triple2)] Gary is young.[(triple3)] Harry is smart.[(triple4)] @1: Fiona is smart.[(((triple2) -> rule5))]