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