Anne is blue. Anne is furry. Anne is smart. Anne is young. Charlie is not big. Charlie is not blue. Charlie is cold. Charlie is not green. Charlie is smart. Charlie is not young. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is smart. Harry is young. If Anne is smart and Anne is blue then Anne is big. Furry things are young. If Anne is big and Anne is not furry then Anne is blue. Big, blue things are cold. All cold things are smart. If something is furry and not green then it is blue.
Anne is not smart.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((triple2) -> rule2))] Charlie is cold.[(triple7)] Charlie is not big.[(triple5)] Charlie is not blue.[(triple6)] Charlie is not green.[(triple8)] Charlie is not young.[(triple10)] Charlie is smart.[(triple9 OR ((triple7) -> rule5))] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is smart.[(triple15 OR ((triple12) -> rule5))] Harry is young.[(triple16 OR ((triple13) -> rule2))] @1: Anne is big.[(((triple3 triple1) -> rule1))] @2: Anne is cold.[(((((triple3 triple1) -> rule1) triple1) -> rule4))]