Anne is not nice. Anne is smart. Anne is not young. If Anne is not smart then Anne is not blue. If Anne is kind and Anne is blue then Anne is not young. If someone is kind then they are not blue. Red people are blue. All young, kind people are blue. Round, kind people are blue. If someone is smart and kind then they are young. If Anne is kind and Anne is not nice then Anne is red.
Anne is round.
@0: Anne is not nice.[(triple1)] Anne is not young.[(triple3)] Anne is smart.[(triple2)]