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.
Anne is kind.
@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)]