Bob is not furry. Dave is big. Gary is furry. Harry is blue. If someone is big and round then they are red. If Bob is blue and Bob is not red then Bob is kind.
Dave is blue.
@0: Bob is not furry.[(triple1)] Dave is big.[(triple2)] Gary is furry.[(triple3)] Harry is blue.[(triple4)]