Anne is big. Anne is not green. Anne is kind. Anne is nice. Anne is rough. Anne is not smart. Bob is big. Bob is green. Bob is nice. Bob is not quiet. Bob is rough. Charlie is not big. Charlie is not kind. Charlie is nice. Charlie is rough. Charlie is smart. Quiet things are green. Smart, quiet things are not kind. If Anne is kind then Anne is big.
Charlie is not big.
@0: Anne is big.[(triple1 OR ((triple3) -> rule3))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not green.[(triple2)] Anne is not smart.[(triple6)] Anne is rough.[(triple5)] Bob is big.[(triple7)] Bob is green.[(triple8)] Bob is nice.[(triple9)] Bob is not quiet.[(triple10)] Bob is rough.[(triple11)] Charlie is nice.[(triple14)] Charlie is not big.[(triple12)] Charlie is not kind.[(triple13)] Charlie is rough.[(triple15)] Charlie is smart.[(triple16)]