Anne is furry. Anne is smart. Dave is big. If Dave is furry then Dave is round. If someone is blue and round then they are big. All blue, young people are big. If someone is young then they are blue. If Anne is green then Anne is big. Smart people are blue.
Anne is not smart.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Dave is big.[(triple3)] @1: Anne is blue.[(((triple2) -> rule6))]