Anne is blue. Anne is cold. Anne is green. Anne is rough. Anne is round. Anne is white. Fiona is blue. Fiona is cold. Fiona is not green. Fiona is rough. Fiona is round. Fiona is white. All white people are blue.
Anne is nice.
@0: Anne is blue.[(triple1 OR ((triple6) -> rule1))] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Fiona is blue.[(triple7 OR ((triple12) -> rule1))] Fiona is cold.[(triple8)] Fiona is not green.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)]