Bob is blue. Bob is kind. Bob is nice. Bob is rough. Bob is white. Dave is kind. Dave is not nice. Dave is rough. Dave is smart. Dave is white. Dave is young. Harry is blue. Harry is not kind. Harry is nice. Harry is young. If someone is rough and young then they are smart. Rough, kind people are young. If Bob is blue and Bob is not young then Bob is nice.
Harry is not smart.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Dave is kind.[(triple6)] Dave is not nice.[(triple7)] Dave is rough.[(triple8)] Dave is smart.[(triple9 OR ((triple8 triple11) -> rule1) OR ((triple8 ((triple8 triple6) -> rule2)) -> rule1))] Dave is white.[(triple10)] Dave is young.[(triple11 OR ((triple8 triple6) -> rule2))] Harry is blue.[(triple12)] Harry is nice.[(triple14)] Harry is not kind.[(triple13)] Harry is young.[(triple15)] @1: Bob is young.[(((triple4 triple2) -> rule2))] @2: Bob is smart.[(((triple4 ((triple4 triple2) -> rule2)) -> rule1))]