Anne is big. Anne is furry. Anne is green. Anne is rough. Anne is round. Anne is white. Anne is young. Young, white people are furry. Round, white people are furry. All rough, big people are young. If Anne is round then Anne is white. All big, round people are green. Furry, round people are green. All young, green people are round. All furry people are green.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple5 triple6) -> rule2) OR ((triple7 triple6) -> rule1) OR ((triple5 ((triple5) -> rule4)) -> rule2) OR ((triple7 ((triple5) -> rule4)) -> rule1) OR ((((triple4 triple1) -> rule3) triple6) -> rule1) OR ((((triple7 triple3) -> rule7) triple6) -> rule2) OR ((((triple4 triple1) -> rule3) ((triple5) -> rule4)) -> rule1) OR ((((triple7 triple3) -> rule7) ((triple5) -> rule4)) -> rule2) OR ((triple5 ((((triple7 triple3) -> rule7)) -> rule4)) -> rule2) OR ((triple7 ((((triple7 triple3) -> rule7)) -> rule4)) -> rule1) OR ((((((triple4 triple1) -> rule3) triple3) -> rule7) triple6) -> rule2) OR ((((triple4 triple1) -> rule3) ((((triple7 triple3) -> rule7)) -> rule4)) -> rule1) OR ((((triple7 triple3) -> rule7) ((((triple7 triple3) -> rule7)) -> rule4)) -> rule2) OR ((((((triple4 triple1) -> rule3) triple3) -> rule7) ((triple5) -> rule4)) -> rule2) OR ((((((triple4 triple1) -> rule3) triple3) -> rule7) ((((triple7 triple3) -> rule7)) -> rule4)) -> rule2) OR ((triple5 ((((((triple4 triple1) -> rule3) triple3) -> rule7)) -> rule4)) -> rule2) OR ((triple7 ((((((triple4 triple1) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1) OR ((((triple4 triple1) -> rule3) ((((((triple4 triple1) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1) OR ((((triple7 triple3) -> rule7) ((((((triple4 triple1) -> rule3) triple3) -> rule7)) -> rule4)) -> rule2) OR ((((((triple4 triple1) -> rule3) triple3) -> rule7) ((((((triple4 triple1) -> rule3) triple3) -> rule7)) -> rule4)) -> rule2))] Anne is green.[(triple3 OR ((triple2) -> rule8) OR ((triple1 triple5) -> rule5) OR ((triple2 triple5) -> rule6) OR ((((triple5 triple6) -> rule2)) -> rule8) OR ((((triple7 triple6) -> rule1)) -> rule8) OR ((((triple5 triple6) -> rule2) triple5) -> rule6) OR ((((triple7 triple6) -> rule1) triple5) -> rule6) OR ((((triple5 ((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule8) OR ((((((triple4 triple1) -> rule3) triple6) -> rule1)) -> rule8) OR ((((triple5 ((triple5) -> rule4)) -> rule2) triple5) -> rule6) OR ((((triple7 ((triple5) -> rule4)) -> rule1) triple5) -> rule6) OR ((((((triple4 triple1) -> rule3) triple6) -> rule1) triple5) -> rule6) OR ((((((triple4 triple1) -> rule3) ((triple5) -> rule4)) -> rule1)) -> rule8) OR ((((((triple4 triple1) -> rule3) ((triple5) -> rule4)) -> rule1) triple5) -> rule6))] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple7 triple3) -> rule7) OR ((triple7 ((triple2) -> rule8)) -> rule7) OR ((((triple4 triple1) -> rule3) triple3) -> rule7) OR ((((triple4 triple1) -> rule3) ((triple2) -> rule8)) -> rule7) OR ((triple7 ((((triple7 triple6) -> rule1)) -> rule8)) -> rule7) OR ((((triple4 triple1) -> rule3) ((((triple7 triple6) -> rule1)) -> rule8)) -> rule7) OR ((triple7 ((((((triple4 triple1) -> rule3) triple6) -> rule1)) -> rule8)) -> rule7) OR ((((triple4 triple1) -> rule3) ((((((triple4 triple1) -> rule3) triple6) -> rule1)) -> rule8)) -> rule7))] Anne is white.[(triple6 OR ((triple5) -> rule4) OR ((((triple7 triple3) -> rule7)) -> rule4) OR ((((triple7 ((triple2) -> rule8)) -> rule7)) -> rule4) OR ((((((triple4 triple1) -> rule3) triple3) -> rule7)) -> rule4) OR ((((((triple4 triple1) -> rule3) ((triple2) -> rule8)) -> rule7)) -> rule4))] Anne is young.[(triple7 OR ((triple4 triple1) -> rule3))]