Anne is nice. Bob is kind. All nice, young things are red. Round things are red. If something is young then it is cold. If Anne is red and Anne is not kind then Anne is cold. Round things are nice. If Bob is not red then Bob is not kind.
Bob is kind.
@0: Anne is nice.[(triple1)] Bob is kind.[(triple2)]