Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is white. Dave is blue. Dave is nice. Dave is red. Red, nice things are green. If Anne is cold and Anne is white then Anne is green. All blue, white things are cold.
Dave is white.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple1 triple7) -> rule3))] Anne is green.[(triple3 OR ((triple2 triple7) -> rule2) OR ((triple5 triple4) -> rule1) OR ((((triple1 triple7) -> rule3) triple7) -> rule2))] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)] Dave is blue.[(triple8)] Dave is nice.[(triple9)] Dave is red.[(triple10)] @1: Dave is green.[(((triple10 triple9) -> rule1))]