Anne is not big. Anne is furry. Anne is kind. Anne is nice. Anne is not red. Anne is rough. Anne is smart. If Anne is nice and Anne is rough then Anne is kind. If Anne is smart then Anne is furry. If Anne is kind and Anne is not nice then Anne is smart. Big, furry things are smart. Furry, red things are smart. All big, nice things are kind.
Anne is not smart.
@0: Anne is furry.[(triple2 OR ((triple7) -> rule2))] Anne is kind.[(triple3 OR ((triple4 triple6) -> rule1))] Anne is nice.[(triple4)] Anne is not big.[(triple1)] Anne is not red.[(triple5)] Anne is rough.[(triple6)] Anne is smart.[(triple7)]