Dave is furry. Dave is green. Dave is kind. Dave is not red. Dave is rough. Dave is smart. Dave is young. Gary is furry. Gary is green. Gary is kind. Gary is not red. Gary is rough. Gary is smart. Gary is young. Rough people are green. All rough, young people are green. If someone is green and not smart then they are furry. If someone is kind then they are rough. If someone is smart then they are kind. Red, furry people are young.
Dave is not furry.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2 OR ((triple5) -> rule1) OR ((triple5 triple7) -> rule2) OR ((((triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule4) triple7) -> rule2) OR ((((((triple6) -> rule5)) -> rule4)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) triple7) -> rule2))] Dave is kind.[(triple3 OR ((triple6) -> rule5))] Dave is not red.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule4) OR ((((triple6) -> rule5)) -> rule4))] Dave is smart.[(triple6)] Dave is young.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9 OR ((triple12) -> rule1) OR ((triple12 triple14) -> rule2) OR ((((triple10) -> rule4)) -> rule1) OR ((((triple10) -> rule4) triple14) -> rule2) OR ((((((triple13) -> rule5)) -> rule4)) -> rule1) OR ((((((triple13) -> rule5)) -> rule4) triple14) -> rule2))] Gary is kind.[(triple10 OR ((triple13) -> rule5))] Gary is not red.[(triple11)] Gary is rough.[(triple12 OR ((triple10) -> rule4) OR ((((triple13) -> rule5)) -> rule4))] Gary is smart.[(triple13)] Gary is young.[(triple14)]