Anne is kind. Bob is not round. Charlie is round. If Anne is big then Anne is not white. If someone is big and not white then they are kind. If Bob is kind then Bob is green.
Bob is not round.
@0: Anne is kind.[(triple1)] Bob is not round.[(triple2)] Charlie is round.[(triple3)]