Anne is blue. Anne is green. Anne is kind. Anne is nice. Anne is smart. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is round. Dave is smart. Kind, blue things are smart.
Anne is not red.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is smart.[(triple5 OR ((triple3 triple1) -> rule1))] Dave is blue.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is red.[(triple10)] Dave is round.[(triple11)] Dave is smart.[(triple12 OR ((triple8 triple6) -> rule1))]