Anne is rough. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Gary is kind. Gary is not nice. Gary is not quiet. Gary is red. Gary is rough. Gary is smart. Gary is white. All nice, red things are quiet. Nice, rough things are quiet. If something is quiet then it is smart. All white things are rough. If something is quiet then it is red. If Charlie is smart then Charlie is quiet.
Anne is not red.
@0: Anne is rough.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4 OR ((((triple5) -> rule6)) -> rule5))] Charlie is smart.[(triple5 OR ((((triple3 triple4) -> rule1)) -> rule3))] Gary is kind.[(triple6)] Gary is not nice.[(triple7)] Gary is not quiet.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10 OR ((triple12) -> rule4))] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Charlie is quiet.[(((triple5) -> rule6) OR ((triple3 triple4) -> rule1))]