the impregnation does refer secretariat.
sent1: that if there exists something such that that either it is not a dad or it is a Manilkara or both is incorrect then the impregnation refers river is not incorrect. sent2: if something does refer river then it is a kind of a Libyan. sent3: if something does not refer river the fact that it is non-cheap or it does veto or both is not correct. sent4: if the impregnation is a Libyan and it does refer secretariat then the aquatint is not a kind of an illegality. sent5: there exists nothing such that either it is not a dad or it is a Manilkara or both. sent6: if the aquatint is not a Libyan and does not refer secretariat the impregnation refer secretariat. sent7: there is something such that the fact that it is not civics and it is not a argil does not hold. sent8: the aquatint is civics if there exists something such that the fact that it is not civics and it is not a argil does not hold. sent9: something that is civics is a kind of an illegality.
sent5 -> int1: the fact that either the daphne is not a kind of a dad or it is a Manilkara or both is wrong.; int1 -> int2: there exists something such that that it is not a kind of a dad or is a Manilkara or both is incorrect.; int2 & sent1 -> int3: the impregnation refers river.; sent2 -> int4: if the impregnation does refer river it is a Libyan.; int3 & int4 -> int5: the impregnation is a kind of a Libyan.; void -> assump1: Let's assume that the fact that the impregnation refers secretariat is true.; int5 & assump1 -> int6: the impregnation is a kind of Libyan thing that does refer secretariat.; int6 & sent4 -> int7: the fact that the aquatint is not a kind of an illegality hold.; sent9 -> int8: the aquatint is an illegality if it is civics.; sent7 & sent8 -> int9: the aquatint is civics.; int8 & int9 -> int10: the aquatint is a kind of an illegality.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
the impregnation does refer secretariat.
$hypothesis$ = the impregnation does refer secretariat. ; $context$ = sent1: that if there exists something such that that either it is not a dad or it is a Manilkara or both is incorrect then the impregnation refers river is not incorrect. sent2: if something does refer river then it is a kind of a Libyan. sent3: if something does not refer river the fact that it is non-cheap or it does veto or both is not correct. sent4: if the impregnation is a Libyan and it does refer secretariat then the aquatint is not a kind of an illegality. sent5: there exists nothing such that either it is not a dad or it is a Manilkara or both. sent6: if the aquatint is not a Libyan and does not refer secretariat the impregnation refer secretariat. sent7: there is something such that the fact that it is not civics and it is not a argil does not hold. sent8: the aquatint is civics if there exists something such that the fact that it is not civics and it is not a argil does not hold. sent9: something that is civics is a kind of an illegality. ; $proof$ = 
sent5 -> int1: the fact that either the daphne is not a kind of a dad or it is a Manilkara or both is wrong.; int1 -> int2: there exists something such that that it is not a kind of a dad or is a Manilkara or both is incorrect.; int2 & sent1 -> int3: the impregnation refers river.; sent2 -> int4: if the impregnation does refer river it is a Libyan.; int3 & int4 -> int5: the impregnation is a kind of a Libyan.; void -> assump1: Let's assume that the fact that the impregnation refers secretariat is true.; int5 & assump1 -> int6: the impregnation is a kind of Libyan thing that does refer secretariat.; int6 & sent4 -> int7: the fact that the aquatint is not a kind of an illegality hold.; sent9 -> int8: the aquatint is an illegality if it is civics.; sent7 & sent8 -> int9: the aquatint is civics.; int8 & int9 -> int10: the aquatint is a kind of an illegality.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __DISPROVED__