Bob is red. Dave is nice. Erin is blue. Fiona is nice. All kind people are nice. If Fiona is kind and Fiona is red then Fiona is blue.
Dave is nice.
@0: Bob is red.[(triple1)] Dave is nice.[(triple2)] Erin is blue.[(triple3)] Fiona is nice.[(triple4)]