Anne is big. Bob is blue. Bob is round. Dave is nice. Dave is smart. Erin is rough. Erin is white. If Bob is smart and Bob is blue then Bob is nice.
Bob is not nice.
@0: Anne is big.[(triple1)] Bob is blue.[(triple2)] Bob is round.[(triple3)] Dave is nice.[(triple4)] Dave is smart.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)]