Bob is big. Bob is not cold. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is rough. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is rough. Kind, rough people are red. Cold, nice people are red.
Gary is not red.
@0: Bob is big.[(triple1)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is not cold.[(triple2)] Bob is red.[(triple6 OR ((triple4 triple7) -> rule1))] Bob is rough.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is red.[(triple13 OR ((triple11 triple14) -> rule1) OR ((triple9 triple12) -> rule2))] Gary is rough.[(triple14)]