Anne is blue. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is smart. Bob is blue. Bob is smart. Bob is white. Charlie is blue. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. All white, rough people are red.
Anne is not smart.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Bob is blue.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9)] Charlie is blue.[(triple10)] Charlie is quiet.[(triple11)] Charlie is red.[(triple12 OR ((triple16 triple13) -> rule1))] Charlie is rough.[(triple13)] Charlie is round.[(triple14)] Charlie is smart.[(triple15)] Charlie is white.[(triple16)]