Anne is green. Anne is red. Anne is rough. Anne is round. Anne is young. Erin is red. Erin is round. All round things are white. Red, rough things are white. Rough things are white. Rough things are furry. Green things are rough. If something is rough and white then it is green. If something is white and furry then it is red. All white things are green.
Anne is not round.
@0: Anne is green.[(triple1 OR ((((triple3) -> rule3)) -> rule8) OR ((((triple4) -> rule1)) -> rule8) OR ((((triple2 triple3) -> rule2)) -> rule8) OR ((triple3 ((triple3) -> rule3)) -> rule6) OR ((triple3 ((triple4) -> rule1)) -> rule6) OR ((triple3 ((triple2 triple3) -> rule2)) -> rule6))] Anne is red.[(triple2 OR ((((triple3) -> rule3) ((triple3) -> rule4)) -> rule7) OR ((((triple4) -> rule1) ((triple3) -> rule4)) -> rule7) OR ((((triple3) -> rule3) ((((triple1) -> rule5)) -> rule4)) -> rule7) OR ((((triple4) -> rule1) ((((triple1) -> rule5)) -> rule4)) -> rule7) OR ((((((triple1) -> rule5)) -> rule3) ((triple3) -> rule4)) -> rule7) OR ((((((triple1) -> rule5)) -> rule3) ((((triple1) -> rule5)) -> rule4)) -> rule7) OR ((((triple3) -> rule3) ((((((((triple4) -> rule1)) -> rule8)) -> rule5)) -> rule4)) -> rule7) OR ((((triple4) -> rule1) ((((((((triple4) -> rule1)) -> rule8)) -> rule5)) -> rule4)) -> rule7) OR ((((((triple1) -> rule5)) -> rule3) ((((((((triple4) -> rule1)) -> rule8)) -> rule5)) -> rule4)) -> rule7))] Anne is rough.[(triple3 OR ((triple1) -> rule5) OR ((((((triple4) -> rule1)) -> rule8)) -> rule5))] Anne is round.[(triple4)] Anne is young.[(triple5)] Erin is red.[(triple6 OR ((((triple7) -> rule1) ((((((((triple7) -> rule1)) -> rule8)) -> rule5)) -> rule4)) -> rule7))] Erin is round.[(triple7)] @1: Anne is furry.[(((triple3) -> rule4) OR ((((triple1) -> rule5)) -> rule4) OR ((((((((triple4) -> rule1)) -> rule8)) -> rule5)) -> rule4))] Anne is white.[(((triple3) -> rule3) OR ((triple4) -> rule1) OR ((triple2 triple3) -> rule2) OR ((((triple1) -> rule5)) -> rule3) OR ((triple2 ((triple1) -> rule5)) -> rule2))] Erin is white.[(((triple7) -> rule1))] @2: Erin is green.[(((((triple7) -> rule1)) -> rule8))] @3: Erin is rough.[(((((((triple7) -> rule1)) -> rule8)) -> rule5))] @4: Erin is furry.[(((((((((triple7) -> rule1)) -> rule8)) -> rule5)) -> rule4))]