Anne is nice. Anne is not quiet. Anne is white. Charlie is blue. Harry is big. Harry is green. Harry is not nice. Harry is quiet. Harry is round. Harry is not white. If Charlie is blue and Charlie is not green then Charlie is nice. If someone is blue and white then they are big. Nice people are not round.
Harry is nice.
@0: Anne is nice.[(triple1)] Anne is not quiet.[(triple2)] Anne is white.[(triple3)] Charlie is blue.[(triple4)] Harry is big.[(triple5)] Harry is green.[(triple6)] Harry is not nice.[(triple7)] Harry is not white.[(triple10)] Harry is quiet.[(triple8)] Harry is round.[(triple9)] @1: Anne is not round.[(((triple1) -> rule3))]