Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is white. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is smart. Charlie is white. Dave is blue. Dave is furry. Dave is green. Dave is white. If something is nice and blue then it is cold. If something is green and white then it is cold. Nice things are smart.
Dave is not smart.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is cold.[(triple7 OR ((triple10 triple6) -> rule1) OR ((triple9 triple12) -> rule2))] Charlie is furry.[(triple8)] Charlie is green.[(triple9)] Charlie is nice.[(triple10)] Charlie is smart.[(triple11 OR ((triple10) -> rule3))] Charlie is white.[(triple12)] Dave is blue.[(triple13)] Dave is furry.[(triple14)] Dave is green.[(triple15)] Dave is white.[(triple16)] @1: Anne is cold.[(((triple3 triple5) -> rule2) OR ((triple4 triple1) -> rule1))] Anne is smart.[(((triple4) -> rule3))] Dave is cold.[(((triple15 triple16) -> rule2))]