Anne is not round. Charlie is big. Charlie is quiet. Charlie is not rough. Charlie is round. Dave is big. Dave is smart. Harry is big. Harry is rough. Harry is white. If someone is big and not round then they are white. All white people are not quiet.
Anne is not white.
@0: Anne is not round.[(triple1)] Charlie is big.[(triple2)] Charlie is not rough.[(triple4)] Charlie is quiet.[(triple3)] Charlie is round.[(triple5)] Dave is big.[(triple6)] Dave is smart.[(triple7)] Harry is big.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)] @1: Harry is not quiet.[(((triple10) -> rule2))]