Anne is green. Anne is rough. Charlie is kind. Charlie is not smart. Gary is blue. Harry is green. Harry is smart. If Anne is white and Anne is nice then Anne is not rough. If someone is green and not blue then they are not rough. All kind people are rough. If someone is white and not green then they are nice. If someone is white and smart then they are nice. Rough, blue people are smart.
Gary is not blue.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Charlie is kind.[(triple3)] Charlie is not smart.[(triple4)] Gary is blue.[(triple5)] Harry is green.[(triple6)] Harry is smart.[(triple7)] @1: Charlie is rough.[(((triple3) -> rule3))]