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