Anne is red. Bob is nice. Charlie is cold. Fiona is big. If someone is nice and kind then they are smart.
Anne is not smart.
@0: Anne is red.[(triple1)] Bob is nice.[(triple2)] Charlie is cold.[(triple3)] Fiona is big.[(triple4)]