Anne is kind. Anne is red. Anne is rough. Bob is green. Bob is nice. Bob is rough. Bob is round. If someone is red and not round then they are cold.
Bob is not nice.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Bob is green.[(triple4)] Bob is nice.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7)]