Anne is not red. Dave is not young. Gary is nice. Red, white things are not young. If something is red then it is not smart. If something is nice then it is red.
Gary is red.
@0: Anne is not red.[(triple1)] Dave is not young.[(triple2)] Gary is nice.[(triple3)] @1: Gary is red.[(((triple3) -> rule3))] @2: Gary is not smart.[(((((triple3) -> rule3)) -> rule2))]