Anne is not green. Anne is kind. Bob is green. Bob is kind. Bob is quiet. Bob is young. Charlie is green. Erin is furry. Erin is white. Erin is young. Furry, kind things are white. If something is furry then it is blue. If something is green and white then it is kind. Kind things are furry. If Anne is quiet and Anne is blue then Anne is not young. If Anne is not blue and Anne is not kind then Anne is quiet.
Erin is not kind.
@0: Anne is kind.[(triple2)] Anne is not green.[(triple1)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is young.[(triple6)] Charlie is green.[(triple7)] Erin is furry.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)] @1: Anne is furry.[(((triple2) -> rule4))] Bob is furry.[(((triple4) -> rule4))] Erin is blue.[(((triple8) -> rule2))] @2: Anne is blue.[(((((triple2) -> rule4)) -> rule2))] Anne is white.[(((((triple2) -> rule4) triple2) -> rule1))] Bob is blue.[(((((triple4) -> rule4)) -> rule2))] Bob is white.[(((((triple4) -> rule4) triple4) -> rule1))]