Bob is not nice. Bob is smart. Bob is young. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Dave is green. Dave is kind. Dave is nice. Harry is not nice. Harry is white. If Dave is green and Dave is not nice then Dave is furry. Nice things are white. If something is nice and not green then it is furry. If something is nice and young then it is not furry. Furry, nice things are smart. Green things are not smart. If something is white and furry then it is smart. If Dave is not nice and Dave is not kind then Dave is white.
Bob is not young.
@0: Bob is not nice.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple5) -> rule2))] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is nice.[(triple10)] Harry is not nice.[(triple11)] Harry is white.[(triple12)] @1: Dave is not smart.[(((triple8) -> rule6))] Dave is white.[(((triple10) -> rule2))]