Anne is furry. Anne is quiet. Anne is red. Anne is not rough. Anne is not round. Anne is not smart. Anne is young. If Anne is not furry then Anne is not red. If Anne is quiet then Anne is red. Smart, furry things are rough. If something is smart and not furry then it is not rough. If something is round then it is rough. If something is rough and quiet then it is smart. If something is furry and not smart then it is red. If something is furry and quiet then it is red.
Anne is young.
@0: Anne is furry.[(triple1)] Anne is not rough.[(triple4)] Anne is not round.[(triple5)] Anne is not smart.[(triple6)] Anne is quiet.[(triple2)] Anne is red.[(triple3 OR ((triple2) -> rule2) OR ((triple1 triple2) -> rule8) OR ((triple1 triple6) -> rule7))] Anne is young.[(triple7)]