Anne is kind. Anne is nice. Anne is quiet. Anne is not red. Anne is not smart. Anne is not white. Bob is furry. Bob is red. Bob is smart. Bob is white. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is not white. If someone is white and quiet then they are furry. Quiet people are not furry. If someone is smart and not white then they are nice. All white, smart people are nice. If Anne is white then Anne is quiet. All white, nice people are kind.
Anne is red.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is not red.[(triple4)] Anne is not smart.[(triple5)] Anne is not white.[(triple6)] Anne is quiet.[(triple3)] Bob is furry.[(triple7)] Bob is red.[(triple8)] Bob is smart.[(triple9)] Bob is white.[(triple10)] Erin is kind.[(triple11)] Erin is nice.[(triple12 OR ((triple15 triple16) -> rule3))] Erin is not white.[(triple16)] Erin is quiet.[(triple13)] Erin is red.[(triple14)] Erin is smart.[(triple15)] @1: Anne is not furry.[(((triple3) -> rule2))] Bob is nice.[(((triple10 triple9) -> rule4))] Erin is not furry.[(((triple13) -> rule2))] @2: Bob is kind.[(((triple10 ((triple10 triple9) -> rule4)) -> rule6))]