Anne is blue. Anne is cold. Anne is not green. Anne is quiet. Anne is smart. Anne is white. Anne is not young. Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. If Anne is young and Anne is smart then Anne is not blue. All green, quiet things are blue.
Fiona is not young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is not green.[(triple3)] Anne is not young.[(triple7)] Anne is quiet.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Fiona is blue.[(triple8 OR ((triple10 triple11) -> rule2))] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Fiona is smart.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14)]