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