Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is white. Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is white. If someone is cold and white then they are quiet. All quiet people are cold. If someone is quiet then they are green.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple5) -> rule2))] Anne is green.[(triple3 OR ((triple5) -> rule3) OR ((((triple2 triple6) -> rule1)) -> rule3))] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple2 triple6) -> rule1))] Anne is white.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9 OR ((triple11) -> rule3))] Dave is nice.[(triple10)] Dave is quiet.[(triple11)] Dave is white.[(triple12)] @1: Dave is cold.[(((triple11) -> rule2))]