Anne is big. Anne is not green. Anne is nice. Anne is red. Dave is big. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is not smart. Erin is big. Erin is kind. Erin is red. Erin is rough. Erin is smart. If something is rough and not big then it is smart.
Erin is kind.
@0: Anne is big.[(triple1)] Anne is nice.[(triple3)] Anne is not green.[(triple2)] Anne is red.[(triple4)] Dave is big.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is nice.[(triple8)] Dave is not smart.[(triple11)] Dave is red.[(triple9)] Dave is rough.[(triple10)] Erin is big.[(triple12)] Erin is kind.[(triple13)] Erin is red.[(triple14)] Erin is rough.[(triple15)] Erin is smart.[(triple16)]