Anne is big. Anne is nice. Anne is smart. If something is young then it is round. All round things are not smart. If something is red and not smart then it is big. If something is smart and nice then it is kind. If something is big then it is nice. Smart things are nice.
Anne is young.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule5) OR ((triple3) -> rule6))] Anne is smart.[(triple3)] @1: Anne is kind.[(((triple3 triple2) -> rule4) OR ((triple3 ((triple1) -> rule5)) -> rule4) OR ((triple3 ((triple3) -> rule6)) -> rule4))]