Anne is furry. Anne is white. Erin is furry. Erin is not kind. Erin is round. Harry is not furry. Harry is not kind. Harry is nice. Harry is round. Harry is white. If someone is nice and not round then they are not young. If someone is white and nice then they are young. Furry people are white. All kind, young people are nice. White people are nice. If Harry is green then Harry is not furry.
Erin is young.
@0: Anne is furry.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule3))] Erin is furry.[(triple3)] Erin is not kind.[(triple4)] Erin is round.[(triple5)] Harry is nice.[(triple8 OR ((triple10) -> rule5))] Harry is not furry.[(triple6)] Harry is not kind.[(triple7)] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Anne is nice.[(((triple2) -> rule5) OR ((((triple1) -> rule3)) -> rule5))] Erin is white.[(((triple3) -> rule3))] Harry is young.[(((triple10 triple8) -> rule2) OR ((triple10 ((triple10) -> rule5)) -> rule2))] @2: Anne is young.[(((triple2 ((triple2) -> rule5)) -> rule2) OR ((((triple1) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((triple2 ((((triple1) -> rule3)) -> rule5)) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule5)) -> rule2))] Erin is nice.[(((((triple3) -> rule3)) -> rule5))] @3: Erin is young.[(((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule5)) -> rule2))]