Anne is cold. Anne is not quiet. Anne is rough. Anne is white. Anne is young. Charlie is cold. Charlie is not green. Charlie is not quiet. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. If someone is quiet then they are green. All green people are smart. If someone is quiet then they are not smart. All white, green people are not smart. If someone is white and not green then they are smart. If someone is white and not rough then they are young. If someone is quiet and not white then they are not young. If someone is quiet and not smart then they are young.
Charlie is white.
@0: Anne is cold.[(triple1)] Anne is not quiet.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is cold.[(triple6)] Charlie is not green.[(triple7)] Charlie is not quiet.[(triple8)] Charlie is rough.[(triple9)] Charlie is smart.[(triple10 OR ((triple11 triple7) -> rule5))] Charlie is white.[(triple11)] Charlie is young.[(triple12)]