Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is not rough. Anne is round. Anne is smart. Erin is green. Erin is not kind. Erin is nice. Erin is quiet. Erin is not rough. Erin is round. Erin is smart. Round people are not rough. If Erin is not round then Erin is green. If Anne is rough and Anne is not green then Anne is nice. If someone is round and not green then they are nice. If someone is nice and not green then they are kind. If someone is rough and not kind then they are quiet. Nice, smart people are quiet. If someone is smart and rough then they are not quiet.
Erin is not nice.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not rough.[(triple5 OR ((triple6) -> rule1))] Anne is quiet.[(triple4 OR ((triple3 triple7) -> rule7))] Anne is round.[(triple6)] Anne is smart.[(triple7)] Erin is green.[(triple8)] Erin is nice.[(triple10)] Erin is not kind.[(triple9)] Erin is not rough.[(triple12 OR ((triple13) -> rule1))] Erin is quiet.[(triple11 OR ((triple10 triple14) -> rule7))] Erin is round.[(triple13)] Erin is smart.[(triple14)]