Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is red. Bob is green. Bob is kind. Bob is rough. Charlie is quiet. Charlie is red. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is round. Round people are kind. Round, quiet people are rough. If someone is quiet and rough then they are red.
Anne is not rough.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Bob is green.[(triple6)] Bob is kind.[(triple7)] Bob is rough.[(triple8)] Charlie is quiet.[(triple9)] Charlie is red.[(triple10)] Harry is kind.[(triple11 OR ((triple15) -> rule1))] Harry is quiet.[(triple12)] Harry is red.[(triple13 OR ((triple12 triple14) -> rule3) OR ((triple12 ((triple15 triple12) -> rule2)) -> rule3))] Harry is rough.[(triple14 OR ((triple15 triple12) -> rule2))] Harry is round.[(triple15)]