the fact that something is a dominant and it personifies castrato is not right.
sent1: if the fact that something personifies artilleryman but it does not interlock lymphangiography does not hold it is dominant. sent2: the fact that the artilleryman personifies artilleryman and interlocks lymphangiography is not right. sent3: there exists something such that it is not a Holcus. sent4: there exists something such that it is a devil. sent5: the artilleryman does personify castrato. sent6: that the decline interlocks lymphangiography and does not interlock Oceanid is not right. sent7: if the fact that the artilleryman is a kind of unwearable thing that does not jumble aphrodisia does not hold then that it is a Holcus is not false. sent8: if there exists something such that it is not a kind of a Holcus that the artilleryman does personify artilleryman and it does interlock lymphangiography is wrong. sent9: if there exists something such that that it is not a Holcus is true then that the artilleryman does personify artilleryman and does not interlock lymphangiography is not correct. sent10: something is a dominant if it interlocks lymphangiography. sent11: there is something such that it is a Holcus. sent12: The castrato does personify artilleryman. sent13: if the fact that the artilleryman personifies castrato and does not personify slalom is false then it is a woodruff.
sent3 & sent9 -> int1: that the artilleryman does personify artilleryman and does not interlock lymphangiography does not hold.; sent1 -> int2: the artilleryman is a kind of a dominant if that it personifies artilleryman and does not interlock lymphangiography is incorrect.; int1 & int2 -> int3: the artilleryman is a dominant.; int3 & sent5 -> int4: the artilleryman is a dominant and it does personify castrato.; int4 -> hypothesis;
$hypothesis$ = the fact that something is a dominant and it personifies castrato is not right. ; $context$ = sent1: if the fact that something personifies artilleryman but it does not interlock lymphangiography does not hold it is dominant. sent2: the fact that the artilleryman personifies artilleryman and interlocks lymphangiography is not right. sent3: there exists something such that it is not a Holcus. sent4: there exists something such that it is a devil. sent5: the artilleryman does personify castrato. sent6: that the decline interlocks lymphangiography and does not interlock Oceanid is not right. sent7: if the fact that the artilleryman is a kind of unwearable thing that does not jumble aphrodisia does not hold then that it is a Holcus is not false. sent8: if there exists something such that it is not a kind of a Holcus that the artilleryman does personify artilleryman and it does interlock lymphangiography is wrong. sent9: if there exists something such that that it is not a Holcus is true then that the artilleryman does personify artilleryman and does not interlock lymphangiography is not correct. sent10: something is a dominant if it interlocks lymphangiography. sent11: there is something such that it is a Holcus. sent12: The castrato does personify artilleryman. sent13: if the fact that the artilleryman personifies castrato and does not personify slalom is false then it is a woodruff. ; $proof$ = 
sent3 & sent9 -> int1: that the artilleryman does personify artilleryman and does not interlock lymphangiography does not hold.; sent1 -> int2: the artilleryman is a kind of a dominant if that it personifies artilleryman and does not interlock lymphangiography is incorrect.; int1 & int2 -> int3: the artilleryman is a dominant.; int3 & sent5 -> int4: the artilleryman is a dominant and it does personify castrato.; int4 -> hypothesis; __DISPROVED__