Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is white. Charlie is white. Charlie is young. Kind, blue things are red. If something is green and young then it is red. If Anne is white and Anne is kind then Anne is green. If something is nice and green then it is red. Green, kind things are young. All red, blue things are green.
Charlie is not red.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((triple4 triple1) -> rule6) OR ((triple5 triple3) -> rule3) OR ((((triple3 triple1) -> rule1) triple1) -> rule6))] Anne is kind.[(triple3)] Anne is red.[(triple4 OR ((triple3 triple1) -> rule1) OR ((triple2 ((triple2 triple3) -> rule5)) -> rule2) OR ((((triple5 triple3) -> rule3) ((triple2 triple3) -> rule5)) -> rule2) OR ((triple2 ((((triple5 triple3) -> rule3) triple3) -> rule5)) -> rule2) OR ((((triple5 triple3) -> rule3) ((((triple5 triple3) -> rule3) triple3) -> rule5)) -> rule2))] Anne is white.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] @1: Anne is young.[(((triple2 triple3) -> rule5) OR ((((triple4 triple1) -> rule6) triple3) -> rule5) OR ((((triple5 triple3) -> rule3) triple3) -> rule5) OR ((((((triple3 triple1) -> rule1) triple1) -> rule6) triple3) -> rule5))]