Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Dave is furry. Dave is not green. Dave is red. Dave is rough. Dave is smart. Dave is white. Dave is not young. All smart things are furry. All red, green things are furry. All green, white things are furry. If Dave is not green then Dave is white. All white things are rough. If Charlie is young then Charlie is white.
Charlie is not red.
@0: Charlie is furry.[(triple1 OR ((triple5) -> rule1) OR ((triple2 triple6) -> rule3) OR ((triple3 triple2) -> rule2) OR ((triple2 ((triple7) -> rule6)) -> rule3))] Charlie is green.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4 OR ((triple6) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple7) -> rule6))] Charlie is young.[(triple7)] Dave is furry.[(triple8 OR ((triple12) -> rule1))] Dave is not green.[(triple9)] Dave is not young.[(triple14)] Dave is red.[(triple10)] Dave is rough.[(triple11 OR ((triple13) -> rule5) OR ((((triple9) -> rule4)) -> rule5))] Dave is smart.[(triple12)] Dave is white.[(triple13 OR ((triple9) -> rule4))]