Dave is nice. Erin is blue. All round people are nice. If someone is round then they are nice. All young people are green. All kind, green people are smart. If Dave is smart and Dave is not nice then Dave is green. If Dave is nice and Dave is smart then Dave is not blue.
Erin is blue.
@0: Dave is nice.[(triple1)] Erin is blue.[(triple2)]