the earthwork is not a kind of a lampshade.
sent1: if the pool is a kind of a Swiss that the pragmatist is hydrostatics is wrong. sent2: the pool is a confectionery and/or it is hydrostatics. sent3: the wallaby is guilty and/or a confectionery. sent4: if the pragmatist is not non-hydrostatics the pool is not a Swiss. sent5: the pool is guilty if the wallaby is a confectionery. sent6: the pragmatist is a confectionery. sent7: if the pragmatist panics Darfur then the earthwork is a lampshade. sent8: if the pool does panic Darfur then the pragmatist is not a confectionery. sent9: the wallaby is not guilty if the pool is hydrostatics. sent10: the pragmatist is not non-Swiss or it panics Darfur or both if the wallaby is not guilty. sent11: either the wallaby is guilty or it is Swiss or both. sent12: if the pool is a confectionery the wallaby is guilty. sent13: if the wallaby is hydrostatics then the pool is not guilty. sent14: the wallaby is not guilty if the pool is a confectionery. sent15: the pragmatist is a confectionery or it is Swiss or both. sent16: if the wallaby is a lampshade then that the earthwork is guilty is not incorrect. sent17: the earthwork is a lampshade if the pragmatist is Swiss.
sent2 & sent14 & sent9 -> int1: the wallaby is non-guilty.; sent10 & int1 -> int2: the pragmatist is a Swiss and/or it panics Darfur.; int2 & sent17 & sent7 -> hypothesis;
$hypothesis$ = the earthwork is not a kind of a lampshade. ; $context$ = sent1: if the pool is a kind of a Swiss that the pragmatist is hydrostatics is wrong. sent2: the pool is a confectionery and/or it is hydrostatics. sent3: the wallaby is guilty and/or a confectionery. sent4: if the pragmatist is not non-hydrostatics the pool is not a Swiss. sent5: the pool is guilty if the wallaby is a confectionery. sent6: the pragmatist is a confectionery. sent7: if the pragmatist panics Darfur then the earthwork is a lampshade. sent8: if the pool does panic Darfur then the pragmatist is not a confectionery. sent9: the wallaby is not guilty if the pool is hydrostatics. sent10: the pragmatist is not non-Swiss or it panics Darfur or both if the wallaby is not guilty. sent11: either the wallaby is guilty or it is Swiss or both. sent12: if the pool is a confectionery the wallaby is guilty. sent13: if the wallaby is hydrostatics then the pool is not guilty. sent14: the wallaby is not guilty if the pool is a confectionery. sent15: the pragmatist is a confectionery or it is Swiss or both. sent16: if the wallaby is a lampshade then that the earthwork is guilty is not incorrect. sent17: the earthwork is a lampshade if the pragmatist is Swiss. ; $proof$ = 
sent2 & sent14 & sent9 -> int1: the wallaby is non-guilty.; sent10 & int1 -> int2: the pragmatist is a Swiss and/or it panics Darfur.; int2 & sent17 & sent7 -> hypothesis; __DISPROVED__