Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is rough. Dave is smart. Dave is young. Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is rough. Harry is smart. Harry is young. If Dave is furry then Dave is rough. If someone is kind then they are green. If someone is green and smart then they are furry.
Harry is not furry.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple3 triple6) -> rule3) OR ((((triple4) -> rule2) triple6) -> rule3))] Dave is green.[(triple3 OR ((triple4) -> rule2))] Dave is kind.[(triple4)] Dave is rough.[(triple5 OR ((triple2) -> rule1) OR ((((triple3 triple6) -> rule3)) -> rule1) OR ((((((triple4) -> rule2) triple6) -> rule3)) -> rule1))] Dave is smart.[(triple6)] Dave is young.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9 OR ((triple10 triple13) -> rule3) OR ((((triple11) -> rule2) triple13) -> rule3))] Harry is green.[(triple10 OR ((triple11) -> rule2))] Harry is kind.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]