Anne is big. Anne is blue. Anne is green. Anne is rough. Anne is round. Charlie is not red. Dave is big. Dave is not blue. Dave is red. Dave is rough. Dave is round. Dave is white. If Charlie is white and Charlie is not round then Charlie is green. If someone is green then they are white. If someone is red and not white then they are big.
Anne is red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Charlie is not red.[(triple6)] Dave is big.[(triple7)] Dave is not blue.[(triple8)] Dave is red.[(triple9)] Dave is rough.[(triple10)] Dave is round.[(triple11)] Dave is white.[(triple12)] @1: Anne is white.[(((triple3) -> rule2))]