Anne is big. Anne is blue. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is young. Big things are red. If Anne is young then Anne is blue.
Anne is smart.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple7) -> rule2))] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple1) -> rule1))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)]