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