Anne is furry. Anne is quiet. Anne is white. Charlie is quiet. Dave is furry. Dave is green. Dave is young. Fiona is furry. Fiona is not green. Fiona is not kind. Fiona is quiet. Fiona is not young. If Charlie is blue then Charlie is white. If Anne is blue then Anne is kind. If someone is kind then they are blue. White people are blue. All white people are kind. If someone is green then they are kind. If Anne is not green then Anne is furry. If someone is green and not white then they are not quiet.
Charlie is green.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Charlie is quiet.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is not green.[(triple9)] Fiona is not kind.[(triple10)] Fiona is not young.[(triple12)] Fiona is quiet.[(triple11)] @1: Anne is blue.[(((triple3) -> rule4) OR ((((triple3) -> rule5)) -> rule3))] Anne is kind.[(((triple3) -> rule5) OR ((((triple3) -> rule4)) -> rule2))] Dave is kind.[(((triple6) -> rule6))] @2: Dave is blue.[(((((triple6) -> rule6)) -> rule3))]