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