Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is round. Harry is smart. Round people are kind. If Anne is quiet then Anne is round.
Anne is not round.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((((triple4) -> rule2)) -> rule1))] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9 OR ((triple11) -> rule1))] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Anne is round.[(((triple4) -> rule2))]