Anne is blue. Fiona is green. Gary is not rough. Harry is rough. If something is rough then it is blue. If something is blue and rough then it is smart. If something is kind and not green then it is not rough. If Harry is kind and Harry is not rough then Harry is young. If something is smart and blue then it is white. Young things are white.
Harry is blue.
@0: Anne is blue.[(triple1)] Fiona is green.[(triple2)] Gary is not rough.[(triple3)] Harry is rough.[(triple4)] @1: Harry is blue.[(((triple4) -> rule1))] @2: Harry is smart.[(((((triple4) -> rule1) triple4) -> rule2))] @3: Harry is white.[(((((((triple4) -> rule1) triple4) -> rule2) ((triple4) -> rule1)) -> rule5))]