Anne is quiet. Anne is red. Anne is smart. Anne is not white. Anne is young. Charlie is not quiet. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. If Charlie is blue and Charlie is smart then Charlie is red. If Anne is blue and Anne is red then Anne is quiet. All red people are not blue. All white people are green. If Anne is not quiet then Anne is young. If someone is blue then they are not young. Red people are young. If someone is smart and not blue then they are young.
Charlie is young.
@0: Anne is not white.[(triple4)] Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple5 OR ((triple2) -> rule7) OR ((triple3 ((triple2) -> rule3)) -> rule8))] Charlie is not quiet.[(triple6)] Charlie is red.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10 OR ((triple7) -> rule7) OR ((triple8 ((triple7) -> rule3)) -> rule8))] @1: Anne is not blue.[(((triple2) -> rule3))] Charlie is green.[(((triple9) -> rule4))] Charlie is not blue.[(((triple7) -> rule3))]