Anne is big. Anne is not green. Anne is not rough. Anne is smart. Anne is white. Charlie is not big. Charlie is green. Charlie is not white. Gary is smart. Gary is white. If Charlie is big then Charlie is smart. All white things are kind. Quiet things are kind. All quiet, white things are green. If something is kind and not smart then it is not green. Kind, green things are not white. All quiet things are white. All big, white things are not quiet.
Charlie is quiet.
@0: Anne is big.[(triple1)] Anne is not green.[(triple2)] Anne is not rough.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Charlie is green.[(triple7)] Charlie is not big.[(triple6)] Charlie is not white.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Anne is kind.[(((triple5) -> rule2))] Anne is not quiet.[(((triple1 triple5) -> rule8))] Gary is kind.[(((triple10) -> rule2))]