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