Anne is blue. Gary is big. Blue things are green. If something is quiet then it is white. If Anne is not quiet then Anne is kind. Quiet, green things are kind. If something is green and big then it is blue. If something is kind and not white then it is red.
Gary is not red.
@0: Anne is blue.[(triple1)] Gary is big.[(triple2)] @1: Anne is green.[(((triple1) -> rule1))]