Anne is furry. Anne is kind. Anne is not quiet. Anne is red. Anne is round. Anne is not smart. Anne is white. If something is white and not smart then it is not quiet. If Anne is smart and Anne is quiet then Anne is not kind. All quiet, kind things are furry. All red things are furry. Kind, white things are furry. If something is red then it is white.
Anne is not quiet.
@0: Anne is furry.[(triple1 OR ((triple4) -> rule4) OR ((triple2 triple7) -> rule5) OR ((triple2 ((triple4) -> rule6)) -> rule5))] Anne is kind.[(triple2)] Anne is not quiet.[(triple3 OR ((triple7 triple6) -> rule1) OR ((((triple4) -> rule6) triple6) -> rule1))] Anne is not smart.[(triple6)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple7 OR ((triple4) -> rule6))]