Anne is furry. Anne is not kind. Anne is nice. Anne is rough. Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is kind. Fiona is nice. Fiona is rough. Cold people are blue. If Anne is nice and Anne is kind then Anne is blue. All rough people are quiet.
Fiona is not blue.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple3)] Anne is not kind.[(triple2)] Anne is rough.[(triple4)] Fiona is blue.[(triple5 OR ((triple6) -> rule1))] Fiona is cold.[(triple6)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is not furry.[(triple7)] Fiona is rough.[(triple10)] @1: Anne is quiet.[(((triple4) -> rule3))] Fiona is quiet.[(((triple10) -> rule3))]