Anne is kind. Bob is not big. Dave is not blue. If Anne is not kind then Anne is blue. If something is blue and not smart then it is not big. If something is cold and not smart then it is rough.
Bob is not rough.
@0: Anne is kind.[(triple1)] Bob is not big.[(triple2)] Dave is not blue.[(triple3)]