Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Charlie is cold. Charlie is furry. Charlie is kind. Dave is blue. Dave is furry. Dave is nice. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is quiet. White, furry things are cold. All kind, nice things are furry. If something is furry then it is cold.
Fiona is not cold.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple3 triple4) -> rule2))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Charlie is cold.[(triple6 OR ((triple7) -> rule3))] Charlie is furry.[(triple7)] Charlie is kind.[(triple8)] Dave is blue.[(triple9)] Dave is furry.[(triple10)] Dave is nice.[(triple11)] Fiona is blue.[(triple12)] Fiona is kind.[(triple13)] Fiona is nice.[(triple14)] Fiona is quiet.[(triple15)] @1: Anne is cold.[(((triple2) -> rule3) OR ((((triple3 triple4) -> rule2)) -> rule3))] Dave is cold.[(((triple10) -> rule3))] Fiona is furry.[(((triple13 triple14) -> rule2))] @2: Fiona is cold.[(((((triple13 triple14) -> rule2)) -> rule3))]