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