Anne is round. Bob is rough. Harry is rough. If someone is blue and red then they are rough. All white people are cold. If someone is blue then they are furry. If someone is rough and blue then they are red. All red people are blue. Round, white people are red.
Bob is not rough.
@0: Anne is round.[(triple1)] Bob is rough.[(triple2)] Harry is rough.[(triple3)]