Anne is blue. Anne is green. Anne is kind. Anne is nice. Anne is rough. Anne is round. Anne is smart. Harry is blue. Harry is green. Harry is nice. Harry is rough. Harry is round. If someone is kind then they are nice. Nice, kind people are green. Kind people are blue.
Harry is not nice.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule3))] Anne is green.[(triple2 OR ((triple4 triple3) -> rule2) OR ((((triple3) -> rule1) triple3) -> rule2))] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple3) -> rule1))] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)]