Anne is smart. Anne is white. Fiona is cold. Fiona is quiet. Fiona is not smart. Fiona is white. Fiona is not young. If Fiona is not smart then Fiona is quiet. If something is cold and not blue then it is not white. If Fiona is blue then Fiona is rough. Young things are rough. Cold, blue things are not quiet. If something is white then it is quiet. Rough things are quiet. If something is rough and not white then it is not young.
Fiona is blue.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Fiona is cold.[(triple3)] Fiona is not smart.[(triple5)] Fiona is not young.[(triple7)] Fiona is quiet.[(triple4 OR ((triple5) -> rule1) OR ((triple6) -> rule6))] Fiona is white.[(triple6)] @1: Anne is quiet.[(((triple2) -> rule6))]