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