the hoopskirt is thespian.
sent1: something is not ballistics if it is not a mem. sent2: if there exists something such that it is not cross-sentential and it does not squeegee statue the hoopskirt is thespian. sent3: if the vaulting does not powwow Calocarpum the speechwriter is carvel-built thing that is a louver. sent4: the fact that the hoopskirt is a kind of a mem is incorrect if the kraal is dyadic. sent5: there exists something such that it does not powwow Calocarpum. sent6: something that is not a formula does squeegee statue and is thespian. sent7: that if the speechwriter is carvel-built the fact that the hoopskirt is carvel-built is right is right. sent8: if something is carvel-built then it is a formula. sent9: the fact that the vaulting does powwow Calocarpum and squeegees hoopskirt is wrong. sent10: the fact that the vaulting does not powwow Calocarpum is not wrong if the fact that it powwow Calocarpum and it does squeegee hoopskirt does not hold. sent11: either something is a mem or it is dyadic or both if it does not powwow counter. sent12: the hoopskirt is not a mem if the kraal is a kind of a mem. sent13: the stonefly is not cross-sentential and does not squeegee statue. sent14: everything does not powwow counter.
sent13 -> int1: there exists something such that it is not cross-sentential and does not squeegee statue.; int1 & sent2 -> hypothesis;
the binding squeegees statue.
sent6 -> int2: the binding squeegees statue and is thespian if it is not a formula.; sent1 -> int3: if the hoopskirt is not a mem it is not ballistics.; sent11 -> int4: the biplane is a kind of a mem and/or it is dyadic if it does not powwow counter.; sent14 -> int5: the biplane does not powwow counter.; int4 & int5 -> int6: the biplane either is a kind of a mem or is not non-dyadic or both.; int6 -> int7: everything is a mem and/or it is dyadic.; int7 -> int8: the kraal is a kind of a mem and/or is dyadic.; sent4 & int8 & sent12 -> int9: the hoopskirt is not a mem.; int3 & int9 -> int10: the hoopskirt is not ballistics.; sent10 & sent9 -> int11: the vaulting does not powwow Calocarpum.; int11 & sent3 -> int12: the speechwriter is carvel-built a louver.; int12 -> int13: the speechwriter is carvel-built.; sent7 & int13 -> int14: the hoopskirt is carvel-built.; sent8 -> int15: if the hoopskirt is carvel-built then it is a kind of a formula.; int14 & int15 -> int16: that the hoopskirt is a formula hold.; int10 & int16 -> int17: the hoopskirt is not ballistics but it is a formula.;
$hypothesis$ = the hoopskirt is thespian. ; $context$ = sent1: something is not ballistics if it is not a mem. sent2: if there exists something such that it is not cross-sentential and it does not squeegee statue the hoopskirt is thespian. sent3: if the vaulting does not powwow Calocarpum the speechwriter is carvel-built thing that is a louver. sent4: the fact that the hoopskirt is a kind of a mem is incorrect if the kraal is dyadic. sent5: there exists something such that it does not powwow Calocarpum. sent6: something that is not a formula does squeegee statue and is thespian. sent7: that if the speechwriter is carvel-built the fact that the hoopskirt is carvel-built is right is right. sent8: if something is carvel-built then it is a formula. sent9: the fact that the vaulting does powwow Calocarpum and squeegees hoopskirt is wrong. sent10: the fact that the vaulting does not powwow Calocarpum is not wrong if the fact that it powwow Calocarpum and it does squeegee hoopskirt does not hold. sent11: either something is a mem or it is dyadic or both if it does not powwow counter. sent12: the hoopskirt is not a mem if the kraal is a kind of a mem. sent13: the stonefly is not cross-sentential and does not squeegee statue. sent14: everything does not powwow counter. ; $proof$ = 
sent13 -> int1: there exists something such that it is not cross-sentential and does not squeegee statue.; int1 & sent2 -> hypothesis; __PROVED__