Charlie is big. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Gary is big. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is smart. Gary is white. If something is rough and smart then it is white. If Charlie is green then Charlie is white. If Gary is red and Gary is smart then Gary is white.
Charlie is not smart.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple3) -> rule2) OR ((triple5 triple6) -> rule1))] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] Gary is smart.[(triple13)] Gary is white.[(triple14 OR ((triple11 triple13) -> rule3) OR ((triple12 triple13) -> rule1))]