Anne is big. Anne is cold. Anne is smart. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. Harry is nice. Harry is quiet. Big people are quiet.
Harry is quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6 OR ((triple4) -> rule1))] Fiona is smart.[(triple7)] Fiona is young.[(triple8)] Harry is nice.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is quiet.[(((triple1) -> rule1))]