Dave is rough. Fiona is quiet. Gary is red. Harry is not young. If something is quiet then it is not white. All white, green things are not young. Red things are quiet. If something is red and not smart then it is green. If something is young then it is rough. If something is green and not young then it is rough.
Harry is not smart.
@0: Dave is rough.[(triple1)] Fiona is quiet.[(triple2)] Gary is red.[(triple3)] Harry is not young.[(triple4)] @1: Fiona is not white.[(((triple2) -> rule1))] Gary is quiet.[(((triple3) -> rule3))] @2: Gary is not white.[(((((triple3) -> rule3)) -> rule1))]