Anne is big. Anne is blue. Anne is furry. Anne is nice. Anne is quiet. Anne is smart. Anne is white. If Anne is furry then Anne is big. If someone is white and big then they are nice. White, nice people are blue.
Anne is smart.
@0: Anne is big.[(triple1 OR ((triple3) -> rule1))] Anne is blue.[(triple2 OR ((triple7 triple4) -> rule3) OR ((triple7 ((triple7 triple1) -> rule2)) -> rule3) OR ((triple7 ((triple7 ((triple3) -> rule1)) -> rule2)) -> rule3))] Anne is furry.[(triple3)] Anne is nice.[(triple4 OR ((triple7 triple1) -> rule2) OR ((triple7 ((triple3) -> rule1)) -> rule2))] Anne is quiet.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)]