Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is rough. Bob is smart. Bob is young. Dave is green. Dave is kind. Dave is not rough. Dave is smart. Dave is not young. Smart, green things are kind. All rough things are kind. If something is green and not furry then it is smart. If something is blue then it is young. If something is young and not green then it is blue. If Dave is young then Dave is rough.
Dave is furry.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple5) -> rule2) OR ((triple6 triple3) -> rule1))] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple1) -> rule4))] Dave is green.[(triple8)] Dave is kind.[(triple9 OR ((triple11 triple8) -> rule1))] Dave is not rough.[(triple10)] Dave is not young.[(triple12)] Dave is smart.[(triple11)]