Bob is kind. Erin is nice. Erin is quiet. Erin is rough. Erin is young. Harry is nice. Harry is rough. If someone is cold then they are nice. If someone is blue and rough then they are young. Kind, quiet people are nice.
Harry is not rough.
@0: Bob is kind.[(triple1)] Erin is nice.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4)] Erin is young.[(triple5)] Harry is nice.[(triple6)] Harry is rough.[(triple7)]