the pawl is anserine if the internet is a Vaishnavism.
sent1: something is a kind of a sadism that bears Carson. sent2: there exists something such that it is a Vaishnavism. sent3: if something superscribes Anguidae it is anserine. sent4: there exists something such that it is a Singaporean. sent5: the internet is anserine if the pawl is a Singaporean. sent6: if something that is a Vaishnavism is a Singaporean then the pawl superscribes Anguidae. sent7: if the internet is a Singaporean then it is anserine. sent8: the internet is a W and is classificatory. sent9: the abalone is anserine. sent10: if something does bear Kirkia then it is a enalapril. sent11: the pawl is a kind of a Vaishnavism. sent12: there are union things. sent13: the internet is not non-anserine if there exists something such that it is a Singaporean and a Vaishnavism. sent14: there exists something such that it is carpetbag. sent15: if something is permissive then it is a NYSE. sent16: the internet is a Singaporean. sent17: something is Muhammadan if it moons. sent18: the internet does superscribe Anguidae. sent19: the internet is anserine and it is a kind of a Vaishnavism. sent20: the pawl is a Vaishnavism if the fact that the internet superscribes Anguidae is not false.
void -> assump1: Let's assume that the internet is a Vaishnavism.; assump1 & sent16 -> int1: the internet is a Vaishnavism and it is a kind of a Singaporean.; int1 -> int2: something is a kind of a Vaishnavism and it is a Singaporean.; int2 & sent6 -> int3: the fact that the pawl does superscribe Anguidae hold.; sent3 -> int4: the pawl is anserine if it superscribes Anguidae.; int3 & int4 -> int5: the pawl is anserine.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the pawl is anserine if the internet is a Vaishnavism. ; $context$ = sent1: something is a kind of a sadism that bears Carson. sent2: there exists something such that it is a Vaishnavism. sent3: if something superscribes Anguidae it is anserine. sent4: there exists something such that it is a Singaporean. sent5: the internet is anserine if the pawl is a Singaporean. sent6: if something that is a Vaishnavism is a Singaporean then the pawl superscribes Anguidae. sent7: if the internet is a Singaporean then it is anserine. sent8: the internet is a W and is classificatory. sent9: the abalone is anserine. sent10: if something does bear Kirkia then it is a enalapril. sent11: the pawl is a kind of a Vaishnavism. sent12: there are union things. sent13: the internet is not non-anserine if there exists something such that it is a Singaporean and a Vaishnavism. sent14: there exists something such that it is carpetbag. sent15: if something is permissive then it is a NYSE. sent16: the internet is a Singaporean. sent17: something is Muhammadan if it moons. sent18: the internet does superscribe Anguidae. sent19: the internet is anserine and it is a kind of a Vaishnavism. sent20: the pawl is a Vaishnavism if the fact that the internet superscribes Anguidae is not false. ; $proof$ = 
void -> assump1: Let's assume that the internet is a Vaishnavism.; assump1 & sent16 -> int1: the internet is a Vaishnavism and it is a kind of a Singaporean.; int1 -> int2: something is a kind of a Vaishnavism and it is a Singaporean.; int2 & sent6 -> int3: the fact that the pawl does superscribe Anguidae hold.; sent3 -> int4: the pawl is anserine if it superscribes Anguidae.; int3 & int4 -> int5: the pawl is anserine.; [assump1] & int5 -> hypothesis; __PROVED__