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