Charlie is big. Charlie is not furry. Charlie is not green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is smart. All smart, big people are rough. If Gary is rough and Gary is not nice then Gary is big.
Gary is not green.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is not furry.[(triple2)] Charlie is not green.[(triple3)] Charlie is rough.[(triple6 OR ((triple7 triple1) -> rule1))] Charlie is smart.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is rough.[(triple13 OR ((triple14 triple8) -> rule1))] Gary is smart.[(triple14)]