Charlie is quiet. Gary is kind. All blue, green people are quiet. If someone is quiet then they are young. All young, blue people are round. If Charlie is big and Charlie is kind then Charlie is round. If someone is blue and young then they are kind. If Charlie is round then Charlie is green.
Charlie is not quiet.
@0: Charlie is quiet.[(triple1)] Gary is kind.[(triple2)] @1: Charlie is young.[(((triple1) -> rule2))]