Bob is kind. Fiona is blue. Gary is quiet. Harry is young. Quiet things are blue. If something is blue then it is not kind. Red, quiet things are young.
Gary is kind.
@0: Bob is kind.[(triple1)] Fiona is blue.[(triple2)] Gary is quiet.[(triple3)] Harry is young.[(triple4)] @1: Fiona is not kind.[(((triple2) -> rule2))] Gary is blue.[(((triple3) -> rule1))] @2: Gary is not kind.[(((((triple3) -> rule1)) -> rule2))]