bloodtype( a ).
bloodtype( ab ).
bloodtype( o ).
bloodtype( b ).
bloodtype( a ).
bloodtype( o ).
bloodtype( o ).
bloodtype( a ).
bloodtype( a ).
bloodtype( b ).