Bob is quiet. Harry is rough. If someone is red then they are rough. Kind people are furry. If someone is kind then they are nice. All red people are kind. If Harry is furry then Harry is not nice. If Bob is not kind and Bob is not rough then Bob is not quiet.
Bob is red.
@0: Bob is quiet.[(triple1)] Harry is rough.[(triple2)]