Anne is cold. Anne is green. Anne is smart. Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is not round. Fiona is smart. Fiona is white. Quiet, green people are not round. If someone is quiet and not green then they are round.
Anne is not round.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is not round.[(triple8 OR ((triple7 triple6) -> rule1))] Fiona is quiet.[(triple7)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)]