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