Anne is blue. Anne is not cold. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is not smart. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is not smart. If Charlie is rough and Charlie is not smart then Charlie is quiet. Smart, blue things are rough. If something is kind then it is rough. If something is smart then it is rough. Smart things are not blue. If something is blue and smart then it is not cold. If Charlie is smart then Charlie is blue. If something is rough then it is red.
Charlie is red.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple3)] Anne is not cold.[(triple2)] Anne is not smart.[(triple7)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple6) -> rule8) OR ((((triple3) -> rule3)) -> rule8))] Anne is rough.[(triple6 OR ((triple3) -> rule3))] Charlie is blue.[(triple8)] Charlie is cold.[(triple9)] Charlie is kind.[(triple10)] Charlie is not smart.[(triple14)] Charlie is quiet.[(triple11 OR ((triple13 triple14) -> rule1) OR ((((triple10) -> rule3) triple14) -> rule1))] Charlie is red.[(triple12 OR ((triple13) -> rule8) OR ((((triple10) -> rule3)) -> rule8))] Charlie is rough.[(triple13 OR ((triple10) -> rule3))]