Anne is smart. Dave is blue. Erin is nice. If someone is nice and not smart then they are furry. If Erin is nice and Erin is not blue then Erin is big.
Erin is not furry.
@0: Anne is smart.[(triple1)] Dave is blue.[(triple2)] Erin is nice.[(triple3)]