Anne is nice. Bob is round. If Anne is round and Anne is blue then Anne is nice. All blue, green things are red. If something is white and blue then it is kind.
Bob is not round.
@0: Anne is nice.[(triple1)] Bob is round.[(triple2)]