Anne is big. Anne is furry. Anne is nice. Anne is rough. Anne is smart. Anne is white. Anne is young. All smart, furry things are big. All young, big things are rough. If Anne is white then Anne is smart. If something is furry then it is big. If something is rough and big then it is young. Young, white things are big. If Anne is smart and Anne is big then Anne is rough. All rough, nice things are smart.
Anne is not furry.
@0: Anne is big.[(triple1 OR ((triple2) -> rule4) OR ((triple5 triple2) -> rule1) OR ((triple7 triple6) -> rule6) OR ((((triple6) -> rule3) triple2) -> rule1) OR ((((triple4 triple3) -> rule8) triple2) -> rule1))] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4 OR ((triple5 triple1) -> rule7) OR ((triple7 triple1) -> rule2) OR ((triple5 ((triple2) -> rule4)) -> rule7) OR ((triple5 ((triple5 triple2) -> rule1)) -> rule7) OR ((triple5 ((triple7 triple6) -> rule6)) -> rule7) OR ((triple7 ((triple2) -> rule4)) -> rule2) OR ((triple7 ((triple5 triple2) -> rule1)) -> rule2) OR ((triple7 ((triple7 triple6) -> rule6)) -> rule2) OR ((((triple6) -> rule3) triple1) -> rule7) OR ((((triple6) -> rule3) ((triple2) -> rule4)) -> rule7) OR ((((triple6) -> rule3) ((triple5 triple2) -> rule1)) -> rule7) OR ((((triple6) -> rule3) ((triple7 triple6) -> rule6)) -> rule7) OR ((triple5 ((((triple6) -> rule3) triple2) -> rule1)) -> rule7) OR ((triple7 ((((triple6) -> rule3) triple2) -> rule1)) -> rule2) OR ((((triple6) -> rule3) ((((triple6) -> rule3) triple2) -> rule1)) -> rule7))] Anne is smart.[(triple5 OR ((triple6) -> rule3) OR ((triple4 triple3) -> rule8) OR ((((triple7 triple1) -> rule2) triple3) -> rule8) OR ((((triple7 ((triple2) -> rule4)) -> rule2) triple3) -> rule8) OR ((((triple7 ((triple7 triple6) -> rule6)) -> rule2) triple3) -> rule8))] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple4 triple1) -> rule5) OR ((triple4 ((triple2) -> rule4)) -> rule5) OR ((triple4 ((triple5 triple2) -> rule1)) -> rule5) OR ((((triple5 triple1) -> rule7) triple1) -> rule5) OR ((((triple5 triple1) -> rule7) ((triple2) -> rule4)) -> rule5) OR ((((triple5 triple1) -> rule7) ((triple5 triple2) -> rule1)) -> rule5) OR ((triple4 ((((triple6) -> rule3) triple2) -> rule1)) -> rule5) OR ((triple4 ((((triple4 triple3) -> rule8) triple2) -> rule1)) -> rule5) OR ((((triple5 ((triple2) -> rule4)) -> rule7) triple1) -> rule5) OR ((((triple5 ((triple5 triple2) -> rule1)) -> rule7) triple1) -> rule5) OR ((((((triple6) -> rule3) triple1) -> rule7) triple1) -> rule5) OR ((((triple5 triple1) -> rule7) ((((triple6) -> rule3) triple2) -> rule1)) -> rule5) OR ((((triple5 triple1) -> rule7) ((((triple4 triple3) -> rule8) triple2) -> rule1)) -> rule5) OR ((((triple5 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule5) OR ((((triple5 ((triple2) -> rule4)) -> rule7) ((triple5 triple2) -> rule1)) -> rule5) OR ((((triple5 ((triple5 triple2) -> rule1)) -> rule7) ((triple2) -> rule4)) -> rule5) OR ((((triple5 ((triple5 triple2) -> rule1)) -> rule7) ((triple5 triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) triple1) -> rule7) ((triple2) -> rule4)) -> rule5) OR ((((((triple6) -> rule3) triple1) -> rule7) ((triple5 triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) ((triple2) -> rule4)) -> rule7) triple1) -> rule5) OR ((((((triple6) -> rule3) ((triple5 triple2) -> rule1)) -> rule7) triple1) -> rule5) OR ((((triple5 ((triple2) -> rule4)) -> rule7) ((((triple6) -> rule3) triple2) -> rule1)) -> rule5) OR ((((triple5 ((triple2) -> rule4)) -> rule7) ((((triple4 triple3) -> rule8) triple2) -> rule1)) -> rule5) OR ((((triple5 ((triple5 triple2) -> rule1)) -> rule7) ((((triple6) -> rule3) triple2) -> rule1)) -> rule5) OR ((((triple5 ((triple5 triple2) -> rule1)) -> rule7) ((((triple4 triple3) -> rule8) triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) triple1) -> rule7) ((((triple6) -> rule3) triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) triple1) -> rule7) ((((triple4 triple3) -> rule8) triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule5) OR ((((((triple6) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple5 triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) ((triple5 triple2) -> rule1)) -> rule7) ((triple2) -> rule4)) -> rule5) OR ((((((triple6) -> rule3) ((triple5 triple2) -> rule1)) -> rule7) ((triple5 triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) ((triple2) -> rule4)) -> rule7) ((((triple6) -> rule3) triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) ((triple2) -> rule4)) -> rule7) ((((triple4 triple3) -> rule8) triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) ((triple5 triple2) -> rule1)) -> rule7) ((((triple6) -> rule3) triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) ((triple5 triple2) -> rule1)) -> rule7) ((((triple4 triple3) -> rule8) triple2) -> rule1)) -> rule5) OR ((((triple5 ((((triple6) -> rule3) triple2) -> rule1)) -> rule7) triple1) -> rule5) OR ((((triple5 ((((triple6) -> rule3) triple2) -> rule1)) -> rule7) ((triple2) -> rule4)) -> rule5) OR ((((triple5 ((((triple6) -> rule3) triple2) -> rule1)) -> rule7) ((triple5 triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) ((((triple6) -> rule3) triple2) -> rule1)) -> rule7) triple1) -> rule5) OR ((((triple5 ((((triple6) -> rule3) triple2) -> rule1)) -> rule7) ((((triple6) -> rule3) triple2) -> rule1)) -> rule5) OR ((((triple5 ((((triple6) -> rule3) triple2) -> rule1)) -> rule7) ((((triple4 triple3) -> rule8) triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) ((((triple6) -> rule3) triple2) -> rule1)) -> rule7) ((triple2) -> rule4)) -> rule5) OR ((((((triple6) -> rule3) ((((triple6) -> rule3) triple2) -> rule1)) -> rule7) ((triple5 triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) ((((triple6) -> rule3) triple2) -> rule1)) -> rule7) ((((triple6) -> rule3) triple2) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) ((((triple6) -> rule3) triple2) -> rule1)) -> rule7) ((((triple4 triple3) -> rule8) triple2) -> rule1)) -> rule5))]