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