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