Suppose that in the course of using Venn diagrams to

decide if an inference is valid, we have processed all

the premises and ended up with these two diagrams:

$($a$)$

$($b$)$

$($c$)$

All Borogovian are Frumarians.

All Borogovian are not Uffian.

Some Uffians are Frumarian.