Anne is nice. Anne is young. Charlie is green. Charlie is nice. Erin is green. Erin is nice. Harry is white. Furry people are red. If someone is white then they are nice. If someone is red then they are green. If someone is young then they are furry. White, nice people are young. Furry people are round. All green, nice people are white. Green, young people are white.
Erin is white.
@0: Anne is nice.[(triple1 OR ((((((((((triple2) -> rule4)) -> rule1)) -> rule3) triple2) -> rule8)) -> rule2))] Anne is young.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Harry is white.[(triple7)] @1: Anne is furry.[(((triple2) -> rule4))] Charlie is white.[(((triple3 triple4) -> rule7))] Erin is white.[(((triple5 triple6) -> rule7))] Harry is nice.[(((triple7) -> rule2))] @2: Anne is red.[(((((triple2) -> rule4)) -> rule1))] Anne is round.[(((((triple2) -> rule4)) -> rule6))] Charlie is young.[(((((triple3 triple4) -> rule7) triple4) -> rule5))] Erin is young.[(((((triple5 triple6) -> rule7) triple6) -> rule5))] Harry is young.[(((triple7 ((triple7) -> rule2)) -> rule5))] @3: Anne is green.[(((((((triple2) -> rule4)) -> rule1)) -> rule3))] Charlie is furry.[(((((((triple3 triple4) -> rule7) triple4) -> rule5)) -> rule4))] Erin is furry.[(((((((triple5 triple6) -> rule7) triple6) -> rule5)) -> rule4))] Harry is furry.[(((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule4))] @4: Anne is white.[(((((((((triple2) -> rule4)) -> rule1)) -> rule3) triple1) -> rule7) OR ((((((((triple2) -> rule4)) -> rule1)) -> rule3) triple2) -> rule8))] Charlie is red.[(((((((((triple3 triple4) -> rule7) triple4) -> rule5)) -> rule4)) -> rule1))] Charlie is round.[(((((((((triple3 triple4) -> rule7) triple4) -> rule5)) -> rule4)) -> rule6))] Erin is red.[(((((((((triple5 triple6) -> rule7) triple6) -> rule5)) -> rule4)) -> rule1))] Erin is round.[(((((((((triple5 triple6) -> rule7) triple6) -> rule5)) -> rule4)) -> rule6))] Harry is red.[(((((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule4)) -> rule1))] Harry is round.[(((((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule4)) -> rule6))] @5: Harry is green.[(((((((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule4)) -> rule1)) -> rule3))]