Gary is blue. Gary is cold. Gary is nice. Gary is quiet. Gary is not red. Gary is not smart. Gary is not young. Quiet things are not young. If something is nice then it is not young. If something is red then it is young. If Gary is red then Gary is not cold. If Gary is blue and Gary is red then Gary is cold. All blue, red things are not cold. If something is smart and not nice then it is blue. If Gary is blue and Gary is cold then Gary is quiet.
Gary is smart.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is nice.[(triple3)] Gary is not red.[(triple5)] Gary is not smart.[(triple6)] Gary is not young.[(triple7 OR ((triple3) -> rule2) OR ((triple4) -> rule1) OR ((((triple1 triple2) -> rule8)) -> rule1))] Gary is quiet.[(triple4 OR ((triple1 triple2) -> rule8))]