Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is smart. Charlie is green. Charlie is kind. Charlie is nice. Erin is furry. Erin is kind. Erin is nice. Erin is smart. If someone is nice and smart then they are furry. Kind people are cold. If someone is cold and kind then they are nice. Green, blue people are nice. If Erin is cold and Erin is blue then Erin is nice. All kind, green people are nice.
Charlie is not nice.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple4 triple5) -> rule1))] Anne is nice.[(triple4)] Anne is smart.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is nice.[(triple8 OR ((triple7 triple6) -> rule6) OR ((((triple7) -> rule2) triple7) -> rule3))] Erin is furry.[(triple9 OR ((triple11 triple12) -> rule1) OR ((((((triple10) -> rule2) triple10) -> rule3) triple12) -> rule1))] Erin is kind.[(triple10)] Erin is nice.[(triple11 OR ((((triple10) -> rule2) triple10) -> rule3))] Erin is smart.[(triple12)] @1: Charlie is cold.[(((triple7) -> rule2))] Erin is cold.[(((triple10) -> rule2))]