Anne is big. Anne is cold. Anne is nice. Anne is quiet. Anne is round. Dave is cold. Harry is big. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is round. Nice things are quiet. Round things are blue.
Anne is not nice.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple3) -> rule1))] Anne is round.[(triple5)] Dave is cold.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11 OR ((triple10) -> rule1))] Harry is round.[(triple12)] @1: Anne is blue.[(((triple5) -> rule2))] Harry is blue.[(((triple12) -> rule2))]