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 not kind.
@0: Bob is kind.[(triple1)] Fiona is round.[(triple2)] Gary is kind.[(triple3)]