Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is round. Anne is smart. If Anne is green and Anne is smart then Anne is blue. If someone is blue then they are smart.
Anne is not smart.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4 triple7) -> rule1))] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is nice.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7 OR ((triple2) -> rule2))]