Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is round. Anne is smart. Green, furry things are round. All big things are smart. All round things are green.
Anne is not nice.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple6) -> rule3))] Anne is kind.[(triple4)] Anne is nice.[(triple5)] Anne is round.[(triple6 OR ((triple3 triple2) -> rule1))] Anne is smart.[(triple7 OR ((triple1) -> rule2))]