Anne is cold. Anne is nice. Anne is round. Anne is smart. Harry is big. Harry is cold. Harry is kind. Harry is nice. Harry is round. Harry is young. If someone is kind and smart then they are big. Young, round people are kind. If someone is smart then they are young.
Anne is kind.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Harry is big.[(triple5)] Harry is cold.[(triple6)] Harry is kind.[(triple7 OR ((triple10 triple9) -> rule2))] Harry is nice.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Anne is young.[(((triple4) -> rule3))] @2: Anne is kind.[(((((triple4) -> rule3) triple3) -> rule2))] @3: Anne is big.[(((((((triple4) -> rule3) triple3) -> rule2) triple4) -> rule1))]