Anne is blue. Bob is not smart. Dave is nice. Erin is blue. If something is white and not big then it is smart.
Erin is not blue.
@0: Anne is blue.[(triple1)] Bob is not smart.[(triple2)] Dave is nice.[(triple3)] Erin is blue.[(triple4)]