Anne is big. Anne is round. Charlie is blue. If someone is round then they are not green. All kind, cold people are big.
Charlie is not big.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Charlie is blue.[(triple3)] @1: Anne is not green.[(((triple2) -> rule1))]