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