Fiona is smart. Gary is blue. Gary is quiet. If Fiona is rough and Fiona is smart then Fiona is blue. If Gary is smart then Gary is nice. All young things are rough. If something is quiet then it is young. If Gary is nice and Gary is young then Gary is green. All blue things are young.
Gary is quiet.
@0: Fiona is smart.[(triple1)] Gary is blue.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is young.[(((triple2) -> rule6) OR ((triple3) -> rule4))] @2: Gary is rough.[(((((triple2) -> rule6)) -> rule3) OR ((((triple3) -> rule4)) -> rule3))]