Anne is not smart. Bob is red. Fiona is smart. Harry is smart. All nice people are cold.
Bob is red.
@0: Anne is not smart.[(triple1)] Bob is red.[(triple2)] Fiona is smart.[(triple3)] Harry is smart.[(triple4)]