Dave is blue. Dave is nice. Erin is blue. Erin is kind. Erin is round. Fiona is nice. Fiona is not round. If Erin is young and Erin is blue then Erin is nice. All smart people are kind.
Dave is not kind.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2)] Erin is blue.[(triple3)] Erin is kind.[(triple4)] Erin is round.[(triple5)] Fiona is nice.[(triple6)] Fiona is not round.[(triple7)]