Charlie is quiet. Charlie is young. Gary is green. Young people are big. If Charlie is white then Charlie is not blue. If Charlie is green and Charlie is big then Charlie is not blue. If someone is blue and not big then they are green. If someone is big and green then they are white. Big people are white.
Gary is blue.
@0: Charlie is quiet.[(triple1)] Charlie is young.[(triple2)] Gary is green.[(triple3)] @1: Charlie is big.[(((triple2) -> rule1))] @2: Charlie is white.[(((((triple2) -> rule1)) -> rule6))] @3: Charlie is not blue.[(((((((triple2) -> rule1)) -> rule6)) -> rule2))]