Gary is not nice. Gary is quiet. Gary is red. If something is red and nice then it is young. If Gary is kind and Gary is nice then Gary is quiet. All red things are not white.
Gary is not young.
@0: Gary is not nice.[(triple1)] Gary is quiet.[(triple2)] Gary is red.[(triple3)] @1: Gary is not white.[(((triple3) -> rule3))]