Anne is big. Anne is cold. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is white. Round, white people are rough. If someone is red and smart then they are white.
Anne is not rough.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple5 triple7) -> rule1) OR ((triple5 ((triple3 triple6) -> rule2)) -> rule1))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7 OR ((triple3 triple6) -> rule2))]