Anne is cold. Anne is furry. Anne is green. Anne is nice. Charlie is blue. Charlie is kind. Charlie is nice. Kind, cold people are furry. If someone is smart then they are blue. Green, smart people are nice. If someone is cold then they are smart. If someone is nice and kind then they are furry. If someone is nice then they are furry.
Charlie is not kind.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule6) OR ((((triple3 ((triple1) -> rule4)) -> rule3)) -> rule6))] Anne is green.[(triple3)] Anne is nice.[(triple4 OR ((triple3 ((triple1) -> rule4)) -> rule3))] Charlie is blue.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] @1: Anne is smart.[(((triple1) -> rule4))] Charlie is furry.[(((triple7) -> rule6) OR ((triple7 triple6) -> rule5))] @2: Anne is blue.[(((((triple1) -> rule4)) -> rule2))]