Bob is not furry. Dave is big. Fiona is red. Gary is red. If Bob is red then Bob is nice.
Bob is not nice.
@0: Bob is not furry.[(triple1)] Dave is big.[(triple2)] Fiona is red.[(triple3)] Gary is red.[(triple4)]