Anne is white. Erin is quiet. Erin is smart. Fiona is cold. Fiona is furry. Fiona is quiet. Harry is cold. Harry is quiet. Harry is smart. Harry is young. Quiet, smart things are young. If Erin is furry and Erin is white then Erin is blue.
Harry is not young.
@0: Anne is white.[(triple1)] Erin is quiet.[(triple2)] Erin is smart.[(triple3)] Fiona is cold.[(triple4)] Fiona is furry.[(triple5)] Fiona is quiet.[(triple6)] Harry is cold.[(triple7)] Harry is quiet.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10 OR ((triple8 triple9) -> rule1))] @1: Erin is young.[(((triple2 triple3) -> rule1))]