Anne is green. Bob is young. Gary is green. All kind, quiet things are green. If something is round then it is kind. Green, quiet things are round. If Gary is young then Gary is round. If Bob is red then Bob is green. If Anne is green then Anne is red.
Gary is young.
@0: Anne is green.[(triple1)] Bob is young.[(triple2)] Gary is green.[(triple3)] @1: Anne is red.[(((triple1) -> rule6))]