Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is round. Gary is not smart. Gary is young. If Gary is blue and Gary is not young then Gary is not round. Smart things are not round. If Gary is blue and Gary is young then Gary is furry. If Gary is round then Gary is cold. If something is smart and not round then it is furry. If something is smart and furry then it is big.
Gary is young.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3 OR ((triple5) -> rule4))] Gary is furry.[(triple4 OR ((triple2 triple7) -> rule3))] Gary is not smart.[(triple6)] Gary is round.[(triple5)] Gary is young.[(triple7)]