Anne is not furry. Anne is rough. Anne is white. Charlie is big. Charlie is not kind. Charlie is rough. Charlie is white. If something is quiet then it is rough. If Anne is rough and Anne is white then Anne is not quiet. If Anne is not white and Anne is not quiet then Anne is green. If something is white and furry then it is kind. If something is white and not quiet then it is kind. If Anne is not green then Anne is furry.
Charlie is white.
@0: Anne is not furry.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Charlie is big.[(triple4)] Charlie is not kind.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] @1: Anne is not quiet.[(((triple2 triple3) -> rule2))] @2: Anne is kind.[(((triple3 ((triple2 triple3) -> rule2)) -> rule5))]