Anne is big. Anne is green. Anne is quiet. Anne is rough. Anne is smart. Charlie is big. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is smart. Red, big things are nice. If something is quiet and not big then it is red. If Charlie is red then Charlie is smart. If something is green and not big then it is rough. All red, big things are quiet. Red things are not quiet. If Anne is big and Anne is rough then Anne is not red. If something is red and not nice then it is not smart.
Charlie is not quiet.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Charlie is big.[(triple6)] Charlie is green.[(triple7)] Charlie is nice.[(triple8)] Charlie is quiet.[(triple9)] Charlie is rough.[(triple10)] Charlie is smart.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is smart.[(triple16)] @1: Anne is not red.[(((triple1 triple4) -> rule7))] Gary is not quiet.[(((triple14) -> rule6))]