Anne is big. Anne is kind. Anne is round. Harry is big. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is young. If someone is round and kind then they are nice.
Anne is round.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Harry is big.[(triple4)] Harry is furry.[(triple5)] Harry is kind.[(triple6)] Harry is nice.[(triple7 OR ((triple9 triple6) -> rule1))] Harry is quiet.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Anne is nice.[(((triple3 triple2) -> rule1))]