Anne is round. Anne is not white. Charlie is big. Charlie is not quiet. Charlie is round. Charlie is white. Charlie is young. Fiona is not round. Fiona is not white. Gary is red. If something is white and not round then it is not red. Red things are not green.
Charlie is not white.
@0: Anne is not white.[(triple2)] Anne is round.[(triple1)] Charlie is big.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is not round.[(triple8)] Fiona is not white.[(triple9)] Gary is red.[(triple10)] @1: Gary is not green.[(((triple10) -> rule2))]