Anne is furry. Anne is red. Anne is smart. Bob is red. Dave is blue. Dave is kind. Erin is white. Furry people are kind. Furry, blue people are kind. All red people are furry. All nice, red people are smart. Kind, nice people are smart. All furry people are kind. White people are kind. If someone is white and red then they are nice. If Bob is kind then Bob is white.
Erin is not blue.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule3))] Anne is red.[(triple2)] Anne is smart.[(triple3)] Bob is red.[(triple4)] Dave is blue.[(triple5)] Dave is kind.[(triple6)] Erin is white.[(triple7)] @1: Anne is kind.[(((triple1) -> rule1) OR ((triple1) -> rule6) OR ((((triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule3)) -> rule6))] Bob is furry.[(((triple4) -> rule3))] Erin is kind.[(((triple7) -> rule7))] @2: Bob is kind.[(((((triple4) -> rule3)) -> rule1) OR ((((triple4) -> rule3)) -> rule6))] @3: Bob is white.[(((((((triple4) -> rule3)) -> rule1)) -> rule9) OR ((((((triple4) -> rule3)) -> rule6)) -> rule9))] @4: Bob is nice.[(((((((((triple4) -> rule3)) -> rule1)) -> rule9) triple4) -> rule8) OR ((((((((triple4) -> rule3)) -> rule6)) -> rule9) triple4) -> rule8))] @5: Bob is smart.[(((((((((((triple4) -> rule3)) -> rule1)) -> rule9) triple4) -> rule8) triple4) -> rule4) OR ((((((((((triple4) -> rule3)) -> rule6)) -> rule9) triple4) -> rule8) triple4) -> rule4) OR ((((((triple4) -> rule3)) -> rule1) ((((((((triple4) -> rule3)) -> rule1)) -> rule9) triple4) -> rule8)) -> rule5) OR ((((((triple4) -> rule3)) -> rule1) ((((((((triple4) -> rule3)) -> rule6)) -> rule9) triple4) -> rule8)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) ((((((((triple4) -> rule3)) -> rule1)) -> rule9) triple4) -> rule8)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) ((((((((triple4) -> rule3)) -> rule6)) -> rule9) triple4) -> rule8)) -> rule5))]