Bob is kind. Fiona is round. Gary is kind. If Fiona is kind and Fiona is nice then Fiona is white. All big, red people are kind.
Bob is kind.
@0: Bob is kind.[(triple1)] Fiona is round.[(triple2)] Gary is kind.[(triple3)]