Anne is kind. Anne is smart. Charlie is quiet. Charlie is red. Erin is red. Harry is nice. Harry is smart. All smart, red people are kind.
Harry is not nice.
@0: Anne is kind.[(triple1)] Anne is smart.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Erin is red.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)]