Gary is not big. Gary is cold. Gary is furry. Gary is not green. Gary is nice. Gary is quiet. Gary is young. All nice people are cold. If someone is big and not nice then they are quiet. If someone is furry and not big then they are young. If Gary is nice and Gary is not young then Gary is not quiet. If Gary is cold and Gary is not nice then Gary is quiet. If Gary is furry and Gary is not young then Gary is not cold.
Gary is not green.
@0: Gary is cold.[(triple2 OR ((triple5) -> rule1))] Gary is furry.[(triple3)] Gary is nice.[(triple5)] Gary is not big.[(triple1)] Gary is not green.[(triple4)] Gary is quiet.[(triple6)] Gary is young.[(triple7 OR ((triple3 triple1) -> rule3))]