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