Anne is not big. Anne is cold. Anne is not green. Anne is not quiet. Anne is not rough. Anne is not smart. Anne is white. Smart people are not quiet. If someone is quiet then they are white. All smart people are rough. If Anne is white then Anne is not smart. If Anne is big then Anne is rough. Big people are cold.
Anne is not rough.
@0: Anne is cold.[(triple2)] Anne is not big.[(triple1)] Anne is not green.[(triple3)] Anne is not quiet.[(triple4)] Anne is not rough.[(triple5)] Anne is not smart.[(triple6 OR ((triple7) -> rule4))] Anne is white.[(triple7)]