Anne is cold. Anne is not red. Anne is young. Dave is not blue. Dave is quiet. Dave is young. Gary is quiet. If Anne is not kind then Anne is not blue. If Gary is kind then Gary is not young. If Gary is quiet then Gary is not cold. If something is quiet and not cold then it is red. Red things are blue. If something is red and white then it is young.
Anne is kind.
@0: Anne is cold.[(triple1)] Anne is not red.[(triple2)] Anne is young.[(triple3)] Dave is not blue.[(triple4)] Dave is quiet.[(triple5)] Dave is young.[(triple6)] Gary is quiet.[(triple7)] @1: Gary is not cold.[(((triple7) -> rule3))] @2: Gary is red.[(((triple7 ((triple7) -> rule3)) -> rule4))] @3: Gary is blue.[(((((triple7 ((triple7) -> rule3)) -> rule4)) -> rule5))]