Anne is not big. Anne is not cold. Anne is kind. Anne is not nice. Anne is red. Anne is round. Anne is white. If Anne is nice and Anne is cold then Anne is white. If Anne is kind and Anne is big then Anne is not white. Big things are kind. Cold, round things are kind. Big, cold things are red. If something is nice then it is big. All nice, red things are big. Red, big things are not cold.
Anne is not big.
@0: Anne is kind.[(triple3)] Anne is not big.[(triple1)] Anne is not cold.[(triple2)] Anne is not nice.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)]