Bob is blue. Bob is kind. Bob is smart. Bob is young. Dave is not big. Dave is blue. Dave is not kind. Dave is nice. Dave is young. Harry is not big. Harry is not blue. Harry is kind. Harry is nice. Harry is not red. Harry is smart. Harry is not young. If Bob is smart and Bob is young then Bob is kind. If Bob is big and Bob is smart then Bob is kind. If someone is young and not big then they are smart. Young, smart people are red. If someone is blue and not nice then they are not red. All big people are young. If Dave is smart and Dave is blue then Dave is red. If Dave is not young then Dave is red.
Bob is nice.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2 OR ((triple3 triple4) -> rule1))] Bob is smart.[(triple3)] Bob is young.[(triple4)] Dave is blue.[(triple6)] Dave is nice.[(triple8)] Dave is not big.[(triple5)] Dave is not kind.[(triple7)] Dave is young.[(triple9)] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is not big.[(triple10)] Harry is not blue.[(triple11)] Harry is not red.[(triple14)] Harry is not young.[(triple16)] Harry is smart.[(triple15)] @1: Bob is red.[(((triple4 triple3) -> rule4))] Dave is smart.[(((triple9 triple5) -> rule3))] @2: Dave is red.[(((triple9 ((triple9 triple5) -> rule3)) -> rule4) OR ((((triple9 triple5) -> rule3) triple6) -> rule7))]