Anne is blue. Anne is nice. Anne is round. All round things are blue. All round, green things are blue. Round, green things are blue. Nice, smart things are furry. If something is blue and smart then it is furry. If Anne is big and Anne is furry then Anne is smart. Blue things are not smart. All round, furry things are not smart.
Anne is big.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule1))] Anne is nice.[(triple2)] Anne is round.[(triple3)] @1: Anne is not smart.[(((triple1) -> rule7) OR ((((triple3) -> rule1)) -> rule7))]