Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is white. Anne is young. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is white. Erin is young. If Erin is young and Erin is nice then Erin is kind. If Anne is red then Anne is kind. If Erin is kind then Erin is furry. Young things are white. White things are kind. If Anne is white and Anne is not nice then Anne is young.
Anne is kind.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple5) -> rule2) OR ((triple6) -> rule5) OR ((((triple7) -> rule4)) -> rule5))] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is white.[(triple6 OR ((triple7) -> rule4))] Anne is young.[(triple7)] Erin is furry.[(triple8 OR ((triple9) -> rule3) OR ((((triple13) -> rule5)) -> rule3) OR ((((triple14 triple10) -> rule1)) -> rule3) OR ((((((triple14) -> rule4)) -> rule5)) -> rule3))] Erin is kind.[(triple9 OR ((triple13) -> rule5) OR ((triple14 triple10) -> rule1) OR ((((triple14) -> rule4)) -> rule5))] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Erin is white.[(triple13 OR ((triple14) -> rule4))] Erin is young.[(triple14)]