Anne is big. Anne is cold. Anne is not furry. Anne is not smart. Anne is young. Bob is quiet. Fiona is not big. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is smart. Harry is big. All young things are not quiet.
Bob is not furry.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not furry.[(triple3)] Anne is not smart.[(triple4)] Anne is young.[(triple5)] Bob is quiet.[(triple6)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is not big.[(triple7)] Fiona is quiet.[(triple10)] Fiona is smart.[(triple11)] Harry is big.[(triple12)] @1: Anne is not quiet.[(((triple5) -> rule1))]