the onager is not a Winchester.
sent1: something is not a Winchester and is not a kind of an underwear if it does not efface jabot. sent2: something anastomoses if it is a cardinal. sent3: the fact that the parcel is a radioprotection but it does not anastomose is wrong if it is not a kind of a cardinal. sent4: if the parcel is a cardinal the bathyscaphe is not abiogenetic. sent5: the fact that the Centre is not an underwear but it does anastomose is not true. sent6: if there exists something such that it is not an underwear the parcel is not a kind of a cardinal. sent7: the fact that if that the parcel is a kind of a radioprotection and does not anastomose is not true then the CF is a radioprotection is not wrong. sent8: if the parcel is abiogenetic then the bathyscaphe is a cardinal. sent9: if the bathyscaphe anastomoses the Centre is not an underwear but it anastomoses. sent10: if something is not a kind of a radioprotection then it is a kind of abiogenetic thing that is a Winchester. sent11: if something is a kind of a radioprotection the fact that it is abiogenetic and it does not tumefy is false. sent12: the onager is not a Winchester if that the parcel is not non-abiogenetic but it is not a radioprotection is not right.
void -> assump1: Let's assume that the parcel is a kind of abiogenetic thing that is not a radioprotection.; assump1 -> int1: the parcel is abiogenetic.; int1 & sent8 -> int2: the bathyscaphe is a cardinal.; sent2 -> int3: the bathyscaphe anastomoses if it is not non-cardinal.; int2 & int3 -> int4: the bathyscaphe does anastomose.; int4 & sent9 -> int5: the Centre is not an underwear but it anastomoses.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the parcel is abiogenetic and not a radioprotection is not true.; int7 & sent12 -> hypothesis;
that the CF is abiogenetic thing that does not tumefy is false.
sent11 -> int8: if the CF is a kind of a radioprotection that it is abiogenetic and does not tumefy is not right.; sent1 -> int9: the Centre is not a Winchester and not an underwear if it does not efface jabot.;
$hypothesis$ = the onager is not a Winchester. ; $context$ = sent1: something is not a Winchester and is not a kind of an underwear if it does not efface jabot. sent2: something anastomoses if it is a cardinal. sent3: the fact that the parcel is a radioprotection but it does not anastomose is wrong if it is not a kind of a cardinal. sent4: if the parcel is a cardinal the bathyscaphe is not abiogenetic. sent5: the fact that the Centre is not an underwear but it does anastomose is not true. sent6: if there exists something such that it is not an underwear the parcel is not a kind of a cardinal. sent7: the fact that if that the parcel is a kind of a radioprotection and does not anastomose is not true then the CF is a radioprotection is not wrong. sent8: if the parcel is abiogenetic then the bathyscaphe is a cardinal. sent9: if the bathyscaphe anastomoses the Centre is not an underwear but it anastomoses. sent10: if something is not a kind of a radioprotection then it is a kind of abiogenetic thing that is a Winchester. sent11: if something is a kind of a radioprotection the fact that it is abiogenetic and it does not tumefy is false. sent12: the onager is not a Winchester if that the parcel is not non-abiogenetic but it is not a radioprotection is not right. ; $proof$ = 
void -> assump1: Let's assume that the parcel is a kind of abiogenetic thing that is not a radioprotection.; assump1 -> int1: the parcel is abiogenetic.; int1 & sent8 -> int2: the bathyscaphe is a cardinal.; sent2 -> int3: the bathyscaphe anastomoses if it is not non-cardinal.; int2 & int3 -> int4: the bathyscaphe does anastomose.; int4 & sent9 -> int5: the Centre is not an underwear but it anastomoses.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the parcel is abiogenetic and not a radioprotection is not true.; int7 & sent12 -> hypothesis; __PROVED__