Anne is kind. Anne is nice. Anne is white. Dave is furry. Erin is blue. Erin is nice. Erin is rough. If someone is kind then they are nice. All kind people are furry. If someone is blue and rough then they are kind.
Anne is not white.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule1))] Anne is white.[(triple3)] Dave is furry.[(triple4)] Erin is blue.[(triple5)] Erin is nice.[(triple6 OR ((((triple5 triple7) -> rule3)) -> rule1))] Erin is rough.[(triple7)] @1: Anne is furry.[(((triple1) -> rule2))] Erin is kind.[(((triple5 triple7) -> rule3))] @2: Erin is furry.[(((((triple5 triple7) -> rule3)) -> rule2))]