Anne is green. Charlie is kind. Erin is quiet. Harry is quiet. All green people are not big. If someone is big and not nice then they are not quiet.
Anne is green.
@0: Anne is green.[(triple1)] Charlie is kind.[(triple2)] Erin is quiet.[(triple3)] Harry is quiet.[(triple4)] @1: Anne is not big.[(((triple1) -> rule1))]