Anne is cold. Anne is furry. Anne is not quiet. Anne is rough. Anne is round. Anne is smart. Anne is young. Harry is not cold. Harry is furry. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is young. All young things are round.
Anne is not quiet.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not quiet.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple7) -> rule1))] Anne is smart.[(triple6)] Anne is young.[(triple7)] Harry is furry.[(triple9)] Harry is not cold.[(triple8)] Harry is quiet.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple14) -> rule1))] Harry is smart.[(triple13)] Harry is young.[(triple14)]