Anne is quiet. Fiona is nice. Gary is quiet. Harry is blue. If something is young then it is rough. If something is rough and furry then it is white. Young things are rough. All white, young things are blue. If Fiona is nice then Fiona is rough. If something is rough then it is blue.
Anne is not quiet.
@0: Anne is quiet.[(triple1)] Fiona is nice.[(triple2)] Gary is quiet.[(triple3)] Harry is blue.[(triple4)] @1: Fiona is rough.[(((triple2) -> rule5))] @2: Fiona is blue.[(((((triple2) -> rule5)) -> rule6))]