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