premise: Exactly six witnesses will testify in a trial: Mangione, Ramirez, Sanderson, Tannenbaum, Ujemori, and Wong. The witnesses will testify one by one, and each only once. The order in which the witnesses testify is subject to the following constraints: Sanderson must testify immediately before either Tannenbaum or Ujemori. Ujemori must testify earlier than both Ramirez and Wong. Either Tannenbaum or Wong must testify immediately before Mangione. If Sanderson testifies fifth, then Ujemori must testify
hypothesis: first