Bob is nice. Erin is big. Harry is rough. If something is rough and nice then it is kind. If something is smart then it is rough.
Erin is not big.
@0: Bob is nice.[(triple1)] Erin is big.[(triple2)] Harry is rough.[(triple3)]