Anne is blue. Anne is kind. Anne is rough. Anne is not round. Bob is not blue. Bob is kind. Bob is rough. Charlie is blue. Charlie is kind. Charlie is red. Harry is not blue. Harry is not round. All round people are smart. All rough people are green. If someone is kind and not blue then they are not round.
Anne is not rough.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is not round.[(triple4)] Anne is rough.[(triple3)] Bob is kind.[(triple6)] Bob is not blue.[(triple5)] Bob is rough.[(triple7)] Charlie is blue.[(triple8)] Charlie is kind.[(triple9)] Charlie is red.[(triple10)] Harry is not blue.[(triple11)] Harry is not round.[(triple12)] @1: Anne is green.[(((triple3) -> rule2))] Bob is green.[(((triple7) -> rule2))] Bob is not round.[(((triple6 triple5) -> rule3))]