Anne is blue. Anne is cold. Anne is furry. Anne is quiet. Anne is red. Anne is white. Dave is blue. Dave is cold. Dave is quiet. Dave is red. Dave is rough. Dave is white. If something is red then it is quiet. All cold things are red. All blue things are white.
Dave is not red.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is quiet.[(triple4 OR ((triple5) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Anne is red.[(triple5 OR ((triple2) -> rule2))] Anne is white.[(triple6 OR ((triple1) -> rule3))] Dave is blue.[(triple7)] Dave is cold.[(triple8)] Dave is quiet.[(triple9 OR ((triple10) -> rule1) OR ((((triple8) -> rule2)) -> rule1))] Dave is red.[(triple10 OR ((triple8) -> rule2))] Dave is rough.[(triple11)] Dave is white.[(triple12 OR ((triple7) -> rule3))]