Bob is big. Charlie is kind. Dave is green. Erin is not round. If Bob is round and Bob is not rough then Bob is big.
Bob is not big.
@0: Bob is big.[(triple1)] Charlie is kind.[(triple2)] Dave is green.[(triple3)] Erin is not round.[(triple4)]