Anne is big. Anne is furry. Anne is nice. Anne is red. Anne is rough. Anne is white. Anne is young. If someone is red then they are nice. If someone is white and rough then they are furry. If Anne is white and Anne is big then Anne is young. If someone is rough then they are white. If someone is furry and red then they are big. If someone is furry and not red then they are big. Nice people are big. All big, nice people are rough.
Anne is not young.
@0: Anne is big.[(triple1 OR ((triple3) -> rule7) OR ((triple2 triple4) -> rule5) OR ((((triple4) -> rule1)) -> rule7) OR ((((triple6 triple5) -> rule2) triple4) -> rule5) OR ((((((triple5) -> rule4) triple5) -> rule2) triple4) -> rule5))] Anne is furry.[(triple2 OR ((triple6 triple5) -> rule2) OR ((triple6 ((triple1 triple3) -> rule8)) -> rule2) OR ((((triple5) -> rule4) triple5) -> rule2) OR ((((triple5) -> rule4) ((triple1 triple3) -> rule8)) -> rule2) OR ((triple6 ((triple1 ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((triple6 ((((triple3) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((triple1 triple3) -> rule8)) -> rule4) triple5) -> rule2) OR ((triple6 ((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((triple5) -> rule4) ((triple1 ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((triple5) -> rule4) ((((triple3) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((triple1 triple3) -> rule8)) -> rule4) ((triple1 triple3) -> rule8)) -> rule2) OR ((((triple5) -> rule4) ((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1 triple3) -> rule8)) -> rule4) ((triple1 ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1 triple3) -> rule8)) -> rule4) ((((triple3) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((triple1 triple3) -> rule8)) -> rule4) ((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((triple6 ((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) triple5) -> rule2) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) triple5) -> rule2) OR ((triple6 ((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((triple5) -> rule4) ((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple1 triple3) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) ((triple1 triple3) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) triple5) -> rule2) OR ((((triple5) -> rule4) ((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1 triple3) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple1 ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple3) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) ((triple1 ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) ((((triple3) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple1 triple3) -> rule8)) -> rule2) OR ((((((triple1 triple3) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) ((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple1 ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple3) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) triple5) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) ((triple1 triple3) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) triple5) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) ((triple1 ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) ((((triple3) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple1 triple3) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) ((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple1 ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple3) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule2))] Anne is nice.[(triple3 OR ((triple4) -> rule1))] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple1 triple3) -> rule8) OR ((triple1 ((triple4) -> rule1)) -> rule8) OR ((((triple3) -> rule7) triple3) -> rule8) OR ((((triple2 triple4) -> rule5) triple3) -> rule8) OR ((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8) OR ((((triple2 triple4) -> rule5) ((triple4) -> rule1)) -> rule8) OR ((((((triple4) -> rule1)) -> rule7) triple3) -> rule8) OR ((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8))] Anne is white.[(triple6 OR ((triple5) -> rule4) OR ((((triple1 triple3) -> rule8)) -> rule4) OR ((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) OR ((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) OR ((((((triple2 triple4) -> rule5) triple3) -> rule8)) -> rule4) OR ((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) OR ((((((triple2 triple4) -> rule5) ((triple4) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) OR ((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4))] Anne is young.[(triple7 OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple3) -> rule7)) -> rule3) OR ((triple6 ((triple2 triple4) -> rule5)) -> rule3) OR ((((triple5) -> rule4) triple1) -> rule3) OR ((((triple5) -> rule4) ((triple3) -> rule7)) -> rule3) OR ((((triple5) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) OR ((triple6 ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((triple6 ((((triple6 triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((triple1 triple3) -> rule8)) -> rule4) triple1) -> rule3) OR ((((triple5) -> rule4) ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple5) -> rule4) ((((triple6 triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((triple1 triple3) -> rule8)) -> rule4) ((triple3) -> rule7)) -> rule3) OR ((((((triple1 triple3) -> rule8)) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) OR ((((((triple1 triple3) -> rule8)) -> rule4) ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1 triple3) -> rule8)) -> rule4) ((((triple6 triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((triple6 ((((((triple5) -> rule4) triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) triple1) -> rule3) OR ((((((((triple2 triple4) -> rule5) triple3) -> rule8)) -> rule4) triple1) -> rule3) OR ((((triple5) -> rule4) ((((((triple5) -> rule4) triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple3) -> rule7)) -> rule3) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) ((triple3) -> rule7)) -> rule3) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) triple1) -> rule3) OR ((((((((triple2 triple4) -> rule5) triple3) -> rule8)) -> rule4) ((triple3) -> rule7)) -> rule3) OR ((((((((triple2 triple4) -> rule5) triple3) -> rule8)) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) OR ((((((((triple2 triple4) -> rule5) ((triple4) -> rule1)) -> rule8)) -> rule4) triple1) -> rule3) OR ((((((triple1 triple3) -> rule8)) -> rule4) ((((((triple5) -> rule4) triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple6 triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) ((((triple6 triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple3) -> rule7)) -> rule3) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) OR ((((((((triple2 triple4) -> rule5) triple3) -> rule8)) -> rule4) ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple2 triple4) -> rule5) triple3) -> rule8)) -> rule4) ((((triple6 triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((triple2 triple4) -> rule5) ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple3) -> rule7)) -> rule3) OR ((((((((triple2 triple4) -> rule5) ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule1)) -> rule8)) -> rule4) ((((((triple5) -> rule4) triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((triple3) -> rule7) triple3) -> rule8)) -> rule4) ((((((triple5) -> rule4) triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple6 triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((triple2 triple4) -> rule5) triple3) -> rule8)) -> rule4) ((((((triple5) -> rule4) triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((triple2 triple4) -> rule5) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple2 triple4) -> rule5) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple6 triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((triple3) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((((triple5) -> rule4) triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((triple2 triple4) -> rule5) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((((triple5) -> rule4) triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) triple1) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) ((triple3) -> rule7)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) triple1) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) ((((triple6 triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple3) -> rule7)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((triple2 triple4) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) triple3) -> rule8)) -> rule4) ((((((triple5) -> rule4) triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((triple6 triple5) -> rule2) triple4) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule1)) -> rule8)) -> rule4) ((((((triple5) -> rule4) triple5) -> rule2) triple4) -> rule5)) -> rule3))]