Anne is blue. Anne is not green. Anne is quiet. Anne is not red. Anne is young. Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Red things are white. Young, quiet things are white. If something is white and not red then it is not green. All green things are young. If something is quiet and blue then it is young. All red things are quiet.
Charlie is not blue.
@0: Anne is blue.[(triple1)] Anne is not green.[(triple2 OR ((((triple5 triple3) -> rule2) triple4) -> rule3) OR ((((((triple3 triple1) -> rule5) triple3) -> rule2) triple4) -> rule3))] Anne is not red.[(triple4)] Anne is quiet.[(triple3)] Anne is young.[(triple5 OR ((triple3 triple1) -> rule5))] Charlie is blue.[(triple6)] Charlie is green.[(triple7)] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9 OR ((triple10) -> rule6))] Charlie is red.[(triple10)] Charlie is white.[(triple11 OR ((triple10) -> rule1) OR ((triple12 triple9) -> rule2) OR ((triple12 ((triple10) -> rule6)) -> rule2) OR ((((triple7) -> rule4) triple9) -> rule2) OR ((((triple9 triple6) -> rule5) triple9) -> rule2) OR ((((triple7) -> rule4) ((triple10) -> rule6)) -> rule2) OR ((((triple9 triple6) -> rule5) ((triple10) -> rule6)) -> rule2) OR ((((((triple10) -> rule6) triple6) -> rule5) triple9) -> rule2) OR ((((((triple10) -> rule6) triple6) -> rule5) ((triple10) -> rule6)) -> rule2))] Charlie is young.[(triple12 OR ((triple7) -> rule4) OR ((triple9 triple6) -> rule5) OR ((((triple10) -> rule6) triple6) -> rule5))] @1: Anne is white.[(((triple5 triple3) -> rule2) OR ((((triple3 triple1) -> rule5) triple3) -> rule2))]