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