Anne is green. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Dave is blue. Dave is green. Dave is quiet. Dave is round. Erin is blue. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is smart. If something is round and smart then it is rough.
Erin is not green.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3 OR ((triple4 triple5) -> rule1))] Anne is round.[(triple4)] Anne is smart.[(triple5)] Dave is blue.[(triple6)] Dave is green.[(triple7)] Dave is quiet.[(triple8)] Dave is round.[(triple9)] Erin is blue.[(triple10)] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is quiet.[(triple13)] Erin is rough.[(triple14 OR ((triple15 triple16) -> rule1))] Erin is round.[(triple15)] Erin is smart.[(triple16)]