Anne is not blue. Anne is cold. Anne is kind. Anne is rough. Anne is smart. Dave is blue. Dave is cold. Dave is furry. Dave is rough. Dave is not smart. Dave is white. Fiona is blue. Fiona is not furry. Fiona is rough. Fiona is smart. Fiona is not white. Furry people are blue. If someone is cold then they are white. If someone is rough and not smart then they are furry.
Anne is white.
@0: Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is not blue.[(triple1)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Dave is blue.[(triple6 OR ((triple8) -> rule1) OR ((((triple9 triple10) -> rule3)) -> rule1))] Dave is cold.[(triple7)] Dave is furry.[(triple8 OR ((triple9 triple10) -> rule3))] Dave is not smart.[(triple10)] Dave is rough.[(triple9)] Dave is white.[(triple11 OR ((triple7) -> rule2))] Fiona is blue.[(triple12)] Fiona is not furry.[(triple13)] Fiona is not white.[(triple16)] Fiona is rough.[(triple14)] Fiona is smart.[(triple15)] @1: Anne is white.[(((triple2) -> rule2))]