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