Anne is not furry. Anne is green. Anne is quiet. Fiona is not furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is white. Fiona is young. If Anne is green then Anne is not furry. If someone is quiet and furry then they are kind. If someone is quiet then they are kind. All kind people are young. If Anne is furry then Anne is not green. If Fiona is young and Fiona is not green then Fiona is not white. If Anne is green and Anne is quiet then Anne is not red. If someone is white and not kind then they are not red.
Anne is not red.
@0: Anne is green.[(triple2)] Anne is not furry.[(triple1 OR ((triple2) -> rule1))] Anne is quiet.[(triple3)] Fiona is green.[(triple5)] Fiona is kind.[(triple6 OR ((triple7) -> rule3))] Fiona is not furry.[(triple4)] Fiona is not red.[(triple8)] Fiona is quiet.[(triple7)] Fiona is white.[(triple9)] Fiona is young.[(triple10 OR ((triple6) -> rule4) OR ((((triple7) -> rule3)) -> rule4))] @1: Anne is kind.[(((triple3) -> rule3))] Anne is not red.[(((triple2 triple3) -> rule7))] @2: Anne is young.[(((((triple3) -> rule3)) -> rule4))]