the Virginian is a incipiency that does not collar protest if the zirconium is not a kind of a topped.
sent1: the fact that the Virginian either is a officialese or is not exhaustible or both does not hold if the zirconium is not a scrupulousness. sent2: if the fact that something is a officialese and/or it is inexhaustible is false then it is a incipiency. sent3: the zirconium is not intrastate. sent4: if something does clout tolu it is a contempt. sent5: if there exists something such that the fact that it does collar protest and it is not intrastate is false the Virginian does not collar protest. sent6: there exists something such that that it collars protest and is not intrastate is not true. sent7: that something is albuminuric is not incorrect if the fact that it is a seamount or it is not a ram or both is not correct. sent8: the zirconium is not exhaustible. sent9: that either the Virginian rigs Araneae or it is not a vasopressin or both is false. sent10: something tops if it is a scrupulousness. sent11: the zirconium is a incipiency if the Virginian is not a scrupulousness. sent12: that something is a Whistler is true if that it does negotiate and/or is membered does not hold.
sent10 -> int1: if the zirconium is a scrupulousness then it is a kind of a topped.; void -> assump2: Let's assume that the zirconium is a scrupulousness.; int1 & assump2 -> int2: the zirconium does top.; void -> assump1: Let's assume that the zirconium is not a topped.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the zirconium is not a scrupulousness.; int4 & sent1 -> int5: the fact that the Virginian is either a officialese or not exhaustible or both is wrong.; sent2 -> int6: the Virginian is a kind of a incipiency if the fact that it is either a officialese or not exhaustible or both is not true.; int5 & int6 -> int7: the Virginian is a incipiency.; sent6 & sent5 -> int8: the Virginian does not collar protest.; int7 & int8 -> int9: the Virginian is a incipiency and does not collar protest.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the Virginian is a incipiency that does not collar protest if the zirconium is not a kind of a topped. ; $context$ = sent1: the fact that the Virginian either is a officialese or is not exhaustible or both does not hold if the zirconium is not a scrupulousness. sent2: if the fact that something is a officialese and/or it is inexhaustible is false then it is a incipiency. sent3: the zirconium is not intrastate. sent4: if something does clout tolu it is a contempt. sent5: if there exists something such that the fact that it does collar protest and it is not intrastate is false the Virginian does not collar protest. sent6: there exists something such that that it collars protest and is not intrastate is not true. sent7: that something is albuminuric is not incorrect if the fact that it is a seamount or it is not a ram or both is not correct. sent8: the zirconium is not exhaustible. sent9: that either the Virginian rigs Araneae or it is not a vasopressin or both is false. sent10: something tops if it is a scrupulousness. sent11: the zirconium is a incipiency if the Virginian is not a scrupulousness. sent12: that something is a Whistler is true if that it does negotiate and/or is membered does not hold. ; $proof$ = 
sent10 -> int1: if the zirconium is a scrupulousness then it is a kind of a topped.; void -> assump2: Let's assume that the zirconium is a scrupulousness.; int1 & assump2 -> int2: the zirconium does top.; void -> assump1: Let's assume that the zirconium is not a topped.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the zirconium is not a scrupulousness.; int4 & sent1 -> int5: the fact that the Virginian is either a officialese or not exhaustible or both is wrong.; sent2 -> int6: the Virginian is a kind of a incipiency if the fact that it is either a officialese or not exhaustible or both is not true.; int5 & int6 -> int7: the Virginian is a incipiency.; sent6 & sent5 -> int8: the Virginian does not collar protest.; int7 & int8 -> int9: the Virginian is a incipiency and does not collar protest.; [assump1] & int9 -> hypothesis; __PROVED__