Anne is blue. Anne is furry. Anne is nice. Charlie is green. Charlie is white. Charlie is young. Erin is green. Erin is nice. Harry is furry. Harry is nice. Harry is white. Harry is young. If something is red then it is white. All green things are young. All white things are young. If something is young and green then it is red. Young, green things are red. Red, white things are furry. If something is green then it is nice. If Harry is white then Harry is blue.
Anne is not red.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Charlie is green.[(triple4)] Charlie is white.[(triple5 OR ((((triple6 triple4) -> rule4)) -> rule1) OR ((((triple6 triple4) -> rule5)) -> rule1) OR ((((((triple4) -> rule2) triple4) -> rule4)) -> rule1) OR ((((((triple4) -> rule2) triple4) -> rule5)) -> rule1))] Charlie is young.[(triple6 OR ((triple4) -> rule2) OR ((triple5) -> rule3))] Erin is green.[(triple7)] Erin is nice.[(triple8 OR ((triple7) -> rule7))] Harry is furry.[(triple9)] Harry is nice.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12 OR ((triple11) -> rule3))] @1: Charlie is nice.[(((triple4) -> rule7))] Charlie is red.[(((triple6 triple4) -> rule4) OR ((triple6 triple4) -> rule5) OR ((((triple4) -> rule2) triple4) -> rule4) OR ((((triple4) -> rule2) triple4) -> rule5) OR ((((triple5) -> rule3) triple4) -> rule4) OR ((((triple5) -> rule3) triple4) -> rule5))] Erin is young.[(((triple7) -> rule2))] Harry is blue.[(((triple11) -> rule8))] @2: Charlie is furry.[(((((triple6 triple4) -> rule4) triple5) -> rule6) OR ((((triple6 triple4) -> rule5) triple5) -> rule6) OR ((((((triple4) -> rule2) triple4) -> rule4) triple5) -> rule6) OR ((((((triple4) -> rule2) triple4) -> rule5) triple5) -> rule6) OR ((((((triple5) -> rule3) triple4) -> rule4) triple5) -> rule6) OR ((((((triple5) -> rule3) triple4) -> rule5) triple5) -> rule6) OR ((((triple6 triple4) -> rule4) ((((triple6 triple4) -> rule4)) -> rule1)) -> rule6) OR ((((triple6 triple4) -> rule4) ((((triple6 triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple6 triple4) -> rule4)) -> rule1)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple6 triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple4) -> rule2) triple4) -> rule4) ((((triple6 triple4) -> rule4)) -> rule1)) -> rule6) OR ((((((triple4) -> rule2) triple4) -> rule4) ((((triple6 triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple4) -> rule2) triple4) -> rule5) ((((triple6 triple4) -> rule4)) -> rule1)) -> rule6) OR ((((((triple4) -> rule2) triple4) -> rule5) ((((triple6 triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple5) -> rule3) triple4) -> rule4) ((((triple6 triple4) -> rule4)) -> rule1)) -> rule6) OR ((((((triple5) -> rule3) triple4) -> rule4) ((((triple6 triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple5) -> rule3) triple4) -> rule5) ((((triple6 triple4) -> rule4)) -> rule1)) -> rule6) OR ((((((triple5) -> rule3) triple4) -> rule5) ((((triple6 triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple6 triple4) -> rule4) ((((((triple4) -> rule2) triple4) -> rule4)) -> rule1)) -> rule6) OR ((((triple6 triple4) -> rule4) ((((((triple4) -> rule2) triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((((triple4) -> rule2) triple4) -> rule4)) -> rule1)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((((triple4) -> rule2) triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple4) -> rule2) triple4) -> rule4) ((((((triple4) -> rule2) triple4) -> rule4)) -> rule1)) -> rule6) OR ((((((triple4) -> rule2) triple4) -> rule4) ((((((triple4) -> rule2) triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple4) -> rule2) triple4) -> rule5) ((((((triple4) -> rule2) triple4) -> rule4)) -> rule1)) -> rule6) OR ((((((triple4) -> rule2) triple4) -> rule5) ((((((triple4) -> rule2) triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple5) -> rule3) triple4) -> rule4) ((((((triple4) -> rule2) triple4) -> rule4)) -> rule1)) -> rule6) OR ((((((triple5) -> rule3) triple4) -> rule4) ((((((triple4) -> rule2) triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple5) -> rule3) triple4) -> rule5) ((((((triple4) -> rule2) triple4) -> rule4)) -> rule1)) -> rule6) OR ((((((triple5) -> rule3) triple4) -> rule5) ((((((triple4) -> rule2) triple4) -> rule5)) -> rule1)) -> rule6))] Erin is red.[(((((triple7) -> rule2) triple7) -> rule4) OR ((((triple7) -> rule2) triple7) -> rule5))] @3: Erin is white.[(((((((triple7) -> rule2) triple7) -> rule4)) -> rule1) OR ((((((triple7) -> rule2) triple7) -> rule5)) -> rule1))] @4: Erin is furry.[(((((((triple7) -> rule2) triple7) -> rule4) ((((((triple7) -> rule2) triple7) -> rule4)) -> rule1)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule4) ((((((triple7) -> rule2) triple7) -> rule5)) -> rule1)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule5) ((((((triple7) -> rule2) triple7) -> rule4)) -> rule1)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule5) ((((((triple7) -> rule2) triple7) -> rule5)) -> rule1)) -> rule6))]