Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is white. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is round. If something is round then it is green. If something is round then it is kind.
Anne is not rough.
@0: Anne is green.[(triple1 OR ((triple6) -> rule1))] Anne is kind.[(triple2 OR ((triple6) -> rule2))] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)] Harry is green.[(triple8 OR ((triple12) -> rule1))] Harry is kind.[(triple9 OR ((triple12) -> rule2))] Harry is quiet.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)]