Anne is round. Charlie is green. Erin is furry. Gary is young. Rough things are quiet. Green things are white.
Anne is not round.
@0: Anne is round.[(triple1)] Charlie is green.[(triple2)] Erin is furry.[(triple3)] Gary is young.[(triple4)] @1: Charlie is white.[(((triple2) -> rule2))]