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