Bob is nice. Charlie is not round. Young, nice people are furry. If someone is white and not nice then they are not cold. All cold, nice people are not white. All cold people are not white. If someone is round then they are big. If Bob is young then Bob is round.
Charlie is not round.
@0: Bob is nice.[(triple1)] Charlie is not round.[(triple2)]