Так как C - человек, то A и B не братья. Разумеется, это не обязательно означает, что A и B разнотипны: они вполне могут быть однотипными, не будучи братьями. Более того, они должны быть однотипными. Действительно, если бы они были разнотипными, то подсудимый непременно оказался бы виновным. В этом читатель без труда может убедиться сам.
