Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is rough. Gary is smart. Gary is young. If something is nice and furry then it is young.
Gary is cold.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7 OR ((triple4 triple2) -> rule1))]