Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is not red. Anne is round. Anne is young. Erin is blue. Erin is furry. Erin is not kind. Erin is nice. Erin is red. Erin is round. Erin is young. Young, kind people are not red. If Erin is not kind then Erin is nice. All round, blue people are nice. If Anne is furry and Anne is not kind then Anne is young. Nice people are furry. If someone is red then they are furry. If someone is furry and not round then they are blue. Furry people are young.
Anne is not furry.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule5) OR ((((triple6 triple1) -> rule3)) -> rule5))] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple6 triple1) -> rule3))] Anne is not red.[(triple5 OR ((triple7 triple3) -> rule1) OR ((((triple2) -> rule8) triple3) -> rule1) OR ((((((triple4) -> rule5)) -> rule8) triple3) -> rule1) OR ((((((((triple6 triple1) -> rule3)) -> rule5)) -> rule8) triple3) -> rule1))] Anne is round.[(triple6)] Anne is young.[(triple7 OR ((triple2) -> rule8) OR ((((triple4) -> rule5)) -> rule8) OR ((((((triple6 triple1) -> rule3)) -> rule5)) -> rule8))] Erin is blue.[(triple8)] Erin is furry.[(triple9 OR ((triple11) -> rule5) OR ((triple12) -> rule6) OR ((((triple10) -> rule2)) -> rule5) OR ((((triple13 triple8) -> rule3)) -> rule5))] Erin is nice.[(triple11 OR ((triple10) -> rule2) OR ((triple13 triple8) -> rule3))] Erin is not kind.[(triple10)] Erin is red.[(triple12)] Erin is round.[(triple13)] Erin is young.[(triple14 OR ((triple9) -> rule8) OR ((((triple11) -> rule5)) -> rule8) OR ((((triple12) -> rule6)) -> rule8) OR ((((((triple10) -> rule2)) -> rule5)) -> rule8) OR ((((((triple13 triple8) -> rule3)) -> rule5)) -> rule8))]