Gary is not big. Gary is cold. Gary is not furry. Gary is red. Gary is round. Gary is not smart. Gary is young. Furry, red things are round. Smart things are not red. Big things are not red. Big things are smart. If Gary is smart and Gary is furry then Gary is round. If Gary is not furry and Gary is not red then Gary is young. If something is young and big then it is cold. Smart things are cold.
Gary is smart.
@0: Gary is cold.[(triple2)] Gary is not big.[(triple1)] Gary is not furry.[(triple3)] Gary is not smart.[(triple6)] Gary is red.[(triple4)] Gary is round.[(triple5)] Gary is young.[(triple7)]