\q1
\v=10
\v~=\w Their|strong="H3808"\w* \w bulls|strong="H7794"\w* \w breed|strong="H1602"\w* \w without|strong="H3808"\w* \w fail|strong="H5674"\w*. 
\¬q1
\q2
\p~<<q2=\w Their|strong="H3808"\w* \w cows|strong="H6510"\w* \w calve|strong="H6403"\w*, \w and|strong="H7794"\w* \w don’t|strong="H3808"\w* \w miscarry|strong="H7921"\w*. 
\¬q2
\¬v