Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is round. Gary is young. If someone is blue then they are nice.
Gary is not blue.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is kind.[(triple4)] Gary is nice.[(triple5 OR ((triple1) -> rule1))] Gary is round.[(triple6)] Gary is young.[(triple7)]