Bob is green. Charlie is not kind. If Bob is kind then Bob is red. All round people are nice. All round people are red. If someone is round and not kind then they are red. If someone is green and kind then they are not round. If someone is round and not rough then they are green. If Charlie is quiet and Charlie is round then Charlie is red. If Charlie is kind and Charlie is not nice then Charlie is red.
Charlie is not kind.
@0: Bob is green.[(triple1)] Charlie is not kind.[(triple2)]