Anne is kind. Anne is round. Anne is smart. Charlie is rough. Harry is kind. Harry is red. Harry is white. If someone is red and smart then they are white. If someone is round then they are kind. If Charlie is red then Charlie is round.
Charlie is not rough.
@0: Anne is kind.[(triple1 OR ((triple2) -> rule2))] Anne is round.[(triple2)] Anne is smart.[(triple3)] Charlie is rough.[(triple4)] Harry is kind.[(triple5)] Harry is red.[(triple6)] Harry is white.[(triple7)]