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