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