Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is not smart. Gary is not white. Gary is young. Cold, nice things are young. If something is quiet and not cold then it is not young. If something is smart then it is quiet. If something is smart then it is not nice. If something is young then it is not white. If Gary is not quiet then Gary is young.
Gary is not furry.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2)] Gary is nice.[(triple3)] Gary is not smart.[(triple5)] Gary is not white.[(triple6 OR ((triple7) -> rule5) OR ((((triple1 triple3) -> rule1)) -> rule5))] Gary is quiet.[(triple4)] Gary is young.[(triple7 OR ((triple1 triple3) -> rule1))]