Dave is quiet. Fiona is kind. Gary is quiet. Harry is quiet. All rough people are kind. Big people are green. If someone is green and big then they are smart.
Harry is not kind.
@0: Dave is quiet.[(triple1)] Fiona is kind.[(triple2)] Gary is quiet.[(triple3)] Harry is quiet.[(triple4)]