Anne is nice. Anne is round. Charlie is not red. If Charlie is young and Charlie is red then Charlie is nice. All round things are not green. If something is big then it is nice.
Charlie is not nice.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Charlie is not red.[(triple3)] @1: Anne is not green.[(((triple2) -> rule2))]