Anne is green. Dave is green. Erin is kind. Fiona is young. All smart people are blue. If someone is smart then they are kind.
Erin is smart.
@0: Anne is green.[(triple1)] Dave is green.[(triple2)] Erin is kind.[(triple3)] Fiona is young.[(triple4)]