Anne is red. Anne is rough. Anne is not smart. Bob is not red. Dave is nice. Dave is red. Dave is smart. Big things are blue. Rough things are red. If Dave is red and Dave is nice then Dave is rough.
Anne is not kind.
@0: Anne is not smart.[(triple3)] Anne is red.[(triple1 OR ((triple2) -> rule2))] Anne is rough.[(triple2)] Bob is not red.[(triple4)] Dave is nice.[(triple5)] Dave is red.[(triple6)] Dave is smart.[(triple7)] @1: Dave is rough.[(((triple6 triple5) -> rule3))]