Anne is blue. Anne is kind. Anne is not red. Anne is white. Anne is young. Erin is blue. Erin is cold. Erin is green. Erin is white. Gary is not cold. If something is red and not blue then it is kind. If something is white and young then it is kind. If something is kind then it is not red. If something is young and not cold then it is not red. If something is green and not blue then it is white. If something is red and not green then it is not white. If something is cold and not blue then it is white. Cold things are young.
Erin is not green.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple4 triple5) -> rule2))] Anne is not red.[(triple3 OR ((triple2) -> rule3) OR ((((triple4 triple5) -> rule2)) -> rule3))] Anne is white.[(triple4)] Anne is young.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is white.[(triple9)] Gary is not cold.[(triple10)] @1: Erin is young.[(((triple7) -> rule8))] @2: Erin is kind.[(((triple9 ((triple7) -> rule8)) -> rule2))] @3: Erin is not red.[(((((triple9 ((triple7) -> rule8)) -> rule2)) -> rule3))]