Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is round. Gary is smart. All kind people are green.
Gary is not red.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2)] Gary is green.[(triple3 OR ((triple4) -> rule1))] Gary is kind.[(triple4)] Gary is red.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)]