Anne is green. Anne is not rough. Anne is smart. Dave is blue. Dave is not green. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is smart. All red people are rough. If Dave is rough and Dave is not green then Dave is blue. If someone is rough and smart then they are blue.
Dave is smart.
@0: Anne is green.[(triple1)] Anne is not rough.[(triple2)] Anne is smart.[(triple3)] Dave is blue.[(triple4 OR ((triple9 triple10) -> rule3) OR ((triple9 triple5) -> rule2) OR ((((triple8) -> rule1) triple10) -> rule3) OR ((((triple8) -> rule1) triple5) -> rule2))] Dave is kind.[(triple6)] Dave is not green.[(triple5)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9 OR ((triple8) -> rule1))] Dave is smart.[(triple10)]