Anne is big. Anne is kind. Anne is red. Charlie is big. Charlie is quiet. Charlie is young. Erin is not green. Erin is quiet. Erin is red. Gary is big. Gary is not green. Gary is not kind. Gary is quiet. Gary is red. Gary is rough. Quiet, kind things are green. Kind, big things are quiet.
Gary is not kind.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Charlie is big.[(triple4)] Charlie is quiet.[(triple5)] Charlie is young.[(triple6)] Erin is not green.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Gary is big.[(triple10)] Gary is not green.[(triple11)] Gary is not kind.[(triple12)] Gary is quiet.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15)] @1: Anne is quiet.[(((triple2 triple1) -> rule2))] @2: Anne is green.[(((((triple2 triple1) -> rule2) triple2) -> rule1))]