Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is smart. If Anne is nice and Anne is rough then Anne is kind. All smart people are quiet. If Anne is quiet then Anne is rough. Kind, quiet people are smart. If someone is quiet then they are smart. Rough people are kind. Round, rough people are nice. If someone is smart and furry then they are rough.
Anne is not quiet.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple5) -> rule6) OR ((triple3 triple5) -> rule1) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple7 triple1) -> rule8)) -> rule6) OR ((triple3 ((triple4) -> rule3)) -> rule1) OR ((triple3 ((triple7 triple1) -> rule8)) -> rule1) OR ((((triple6 triple5) -> rule7) triple5) -> rule1) OR ((((triple6 triple5) -> rule7) ((triple4) -> rule3)) -> rule1) OR ((((triple6 triple5) -> rule7) ((triple7 triple1) -> rule8)) -> rule1) OR ((((((triple7) -> rule2)) -> rule3)) -> rule6) OR ((((((triple4) -> rule5) triple1) -> rule8)) -> rule6) OR ((triple3 ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple4) -> rule5) triple1) -> rule8)) -> rule1) OR ((((triple6 ((triple4) -> rule3)) -> rule7) triple5) -> rule1) OR ((((triple6 ((triple7 triple1) -> rule8)) -> rule7) triple5) -> rule1) OR ((((triple6 triple5) -> rule7) ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 triple5) -> rule7) ((((triple4) -> rule5) triple1) -> rule8)) -> rule1) OR ((((triple6 ((triple4) -> rule3)) -> rule7) ((triple4) -> rule3)) -> rule1) OR ((((triple6 ((triple4) -> rule3)) -> rule7) ((triple7 triple1) -> rule8)) -> rule1) OR ((((triple6 ((triple7 triple1) -> rule8)) -> rule7) ((triple4) -> rule3)) -> rule1) OR ((((triple6 ((triple7 triple1) -> rule8)) -> rule7) ((triple7 triple1) -> rule8)) -> rule1) OR ((((triple6 ((triple4) -> rule3)) -> rule7) ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((triple4) -> rule3)) -> rule7) ((((triple4) -> rule5) triple1) -> rule8)) -> rule1) OR ((((triple6 ((triple7 triple1) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((triple7 triple1) -> rule8)) -> rule7) ((((triple4) -> rule5) triple1) -> rule8)) -> rule1) OR ((((triple6 ((((triple7) -> rule2)) -> rule3)) -> rule7) triple5) -> rule1) OR ((((triple6 ((((triple4) -> rule5) triple1) -> rule8)) -> rule7) triple5) -> rule1) OR ((((triple6 ((((triple7) -> rule2)) -> rule3)) -> rule7) ((triple4) -> rule3)) -> rule1) OR ((((triple6 ((((triple7) -> rule2)) -> rule3)) -> rule7) ((triple7 triple1) -> rule8)) -> rule1) OR ((((triple6 ((((triple4) -> rule5) triple1) -> rule8)) -> rule7) ((triple4) -> rule3)) -> rule1) OR ((((triple6 ((((triple4) -> rule5) triple1) -> rule8)) -> rule7) ((triple7 triple1) -> rule8)) -> rule1) OR ((((triple6 ((((triple7) -> rule2)) -> rule3)) -> rule7) ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((((triple7) -> rule2)) -> rule3)) -> rule7) ((((triple4) -> rule5) triple1) -> rule8)) -> rule1) OR ((((triple6 ((((triple4) -> rule5) triple1) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((((triple4) -> rule5) triple1) -> rule8)) -> rule7) ((((triple4) -> rule5) triple1) -> rule8)) -> rule1))] Anne is nice.[(triple3 OR ((triple6 triple5) -> rule7) OR ((triple6 ((triple4) -> rule3)) -> rule7) OR ((triple6 ((triple7 triple1) -> rule8)) -> rule7) OR ((triple6 ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((triple6 ((((triple4) -> rule5) triple1) -> rule8)) -> rule7) OR ((triple6 ((((triple2 triple4) -> rule4) triple1) -> rule8)) -> rule7))] Anne is quiet.[(triple4 OR ((triple7) -> rule2))] Anne is rough.[(triple5 OR ((triple4) -> rule3) OR ((triple7 triple1) -> rule8) OR ((((triple7) -> rule2)) -> rule3) OR ((((triple4) -> rule5) triple1) -> rule8) OR ((((triple2 triple4) -> rule4) triple1) -> rule8))] Anne is round.[(triple6)] Anne is smart.[(triple7 OR ((triple4) -> rule5) OR ((triple2 triple4) -> rule4) OR ((((triple5) -> rule6) triple4) -> rule4) OR ((((triple3 triple5) -> rule1) triple4) -> rule4) OR ((((((triple4) -> rule3)) -> rule6) triple4) -> rule4) OR ((((triple3 ((triple4) -> rule3)) -> rule1) triple4) -> rule4) OR ((((((triple6 triple5) -> rule7) triple5) -> rule1) triple4) -> rule4) OR ((((((triple6 triple5) -> rule7) ((triple4) -> rule3)) -> rule1) triple4) -> rule4) OR ((((((triple6 ((triple4) -> rule3)) -> rule7) triple5) -> rule1) triple4) -> rule4) OR ((((((triple6 ((triple4) -> rule3)) -> rule7) ((triple4) -> rule3)) -> rule1) triple4) -> rule4))]