Anne is blue. Anne is cold. Charlie is not blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is not red. Dave is not green. Dave is red. Gary is furry. All green things are not kind. If something is cold and not red then it is furry. All smart, cold things are furry. Red things are furry. If something is cold then it is green. All furry, cold things are smart.
Anne is not furry.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5 OR ((triple4 triple7) -> rule2))] Charlie is green.[(triple6 OR ((triple4) -> rule5))] Charlie is not blue.[(triple3)] Charlie is not red.[(triple7)] Dave is not green.[(triple8)] Dave is red.[(triple9)] Gary is furry.[(triple10)] @1: Anne is green.[(((triple2) -> rule5))] Charlie is not kind.[(((triple6) -> rule1) OR ((((triple4) -> rule5)) -> rule1))] Charlie is smart.[(((triple5 triple4) -> rule6) OR ((((triple4 triple7) -> rule2) triple4) -> rule6))] Dave is furry.[(((triple9) -> rule4))] @2: Anne is not kind.[(((((triple2) -> rule5)) -> rule1))]