Gary is big. Gary is blue. Gary is not cold. Gary is furry. Gary is quiet. Gary is white. Gary is young. If Gary is furry and Gary is young then Gary is quiet. If Gary is big and Gary is furry then Gary is quiet. If something is quiet then it is furry.
Gary is not white.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is furry.[(triple4 OR ((triple5) -> rule3))] Gary is not cold.[(triple3)] Gary is quiet.[(triple5 OR ((triple1 triple4) -> rule2) OR ((triple4 triple7) -> rule1))] Gary is white.[(triple6)] Gary is young.[(triple7)]