Anne is red. Anne is rough. Charlie is white. White things are big. Kind, green things are quiet. If Anne is kind and Anne is rough then Anne is green. If something is big then it is rough. If Charlie is green then Charlie is white. If something is green and red then it is white. All red, kind things are green. All red, green things are rough.
Charlie is not green.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is big.[(((triple3) -> rule1))] @2: Charlie is rough.[(((((triple3) -> rule1)) -> rule4))]