Anne is big. Anne is smart. Charlie is round. If Anne is round and Anne is kind then Anne is big. Red things are not round. If Anne is smart and Anne is kind then Anne is white. If something is kind and big then it is red. If something is red and not kind then it is nice. If something is smart and not big then it is nice. If something is smart and not big then it is white. All kind things are white.
Charlie is big.
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Charlie is round.[(triple3)]