Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is white. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is smart. Harry is white. Green, white people are rough. If Dave is kind then Dave is not smart.
Harry is nice.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5 OR ((triple1 triple6) -> rule1))] Dave is white.[(triple6)] Harry is green.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Dave is not smart.[(((triple2) -> rule2))] Harry is rough.[(((triple7 triple12) -> rule1))]