Bob is nice. Bob is red. Dave is big. Smart people are not white. All nice, rough people are white. If Bob is furry then Bob is red. If someone is white then they are big. If someone is smart and not rough then they are furry. If someone is furry then they are red. If someone is white then they are not smart. If someone is big and not rough then they are nice.
Dave is rough.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Dave is big.[(triple3)]