Anne is not blue. Anne is green. Anne is kind. Anne is quiet. Anne is not white. Anne is young. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Fiona is white. Fiona is young. If Anne is not green then Anne is quiet. Green people are quiet. If Fiona is white and Fiona is young then Fiona is nice.
Fiona is not blue.
@0: Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not blue.[(triple1)] Anne is not white.[(triple5)] Anne is quiet.[(triple4 OR ((triple2) -> rule2))] Anne is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10 OR ((triple11 triple12) -> rule3))] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is quiet.[(((triple8) -> rule2))]