Anne is big. Anne is kind. Anne is nice. Anne is rough. Anne is round. Anne is smart. Anne is white. If Anne is round then Anne is kind. If Anne is smart and Anne is big then Anne is nice. If something is white and big then it is nice.
Anne is not white.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2 OR ((triple5) -> rule1))] Anne is nice.[(triple3 OR ((triple6 triple1) -> rule2) OR ((triple7 triple1) -> rule3))] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)]