Anne is blue. Bob is quiet. Charlie is quiet. Gary is white. If something is green then it is quiet. Blue, red things are young. If Bob is red then Bob is blue. All white things are green. If Charlie is big then Charlie is green. All young, white things are big.
Gary is not green.
@0: Anne is blue.[(triple1)] Bob is quiet.[(triple2)] Charlie is quiet.[(triple3)] Gary is white.[(triple4)] @1: Gary is green.[(((triple4) -> rule4))] @2: Gary is quiet.[(((((triple4) -> rule4)) -> rule1))]