Anne is not rough. Anne is round. Anne is young. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is round. Charlie is young. Dave is green. Dave is not rough. Dave is not round. Gary is nice. Gary is red. Gary is rough. Gary is not young. If Gary is not nice then Gary is rough. If Charlie is rough then Charlie is furry. All nice, red people are furry. If Anne is furry then Anne is green. If Dave is young and Dave is not nice then Dave is not rough. If someone is round then they are green.
Gary is not green.
@0: Anne is not rough.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Charlie is furry.[(triple4 OR ((triple6) -> rule2))] Charlie is nice.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Charlie is young.[(triple8)] Dave is green.[(triple9)] Dave is not rough.[(triple10)] Dave is not round.[(triple11)] Gary is nice.[(triple12)] Gary is not young.[(triple15)] Gary is red.[(triple13)] Gary is rough.[(triple14)] @1: Anne is green.[(((triple2) -> rule6))] Charlie is green.[(((triple7) -> rule6))] Gary is furry.[(((triple12 triple13) -> rule3))]