the dastard is a kind of a hamper but it does not still.
sent1: if something that does not strand malignity does ingrain that the hippoboscid is not a Gomorrah hold. sent2: the hippoboscid does ingrain. sent3: the Swazi is not a private. sent4: the Swazi is not still. sent5: if the stunt is not a kind of a still then it is not chaffy. sent6: the disentangler is not a Gomorrah if the hippoboscid is not a Gomorrah. sent7: something is a kind of a hamper that is not still if it does not birdnest eared. sent8: something that does not festoon halma does not birdnest eared and is not a kind of a Gomorrah. sent9: if the Swazi is not a private it birdnests eared and it does hamper. sent10: if there exists something such that it strands malignity or it ingrains or both then the dastard does not festoon halma.
sent2 -> int1: the hippoboscid does strand malignity and/or does ingrain.; int1 -> int2: there is something such that the fact that it strands malignity and/or it does ingrain hold.; int2 & sent10 -> int3: the dastard does not festoon halma.; sent8 -> int4: if the dastard does not festoon halma it does not birdnest eared and is not a Gomorrah.; int3 & int4 -> int5: the dastard does not birdnest eared and it is not a kind of a Gomorrah.; int5 -> int6: the dastard does not birdnest eared.; sent7 -> int7: if the fact that the dastard does not birdnest eared is not false it is both a hamper and not a still.; int6 & int7 -> hypothesis;
that the disentangler is not a Gomorrah hold.
sent9 & sent3 -> int8: the Swazi birdnests eared and is a kind of a hamper.; int8 -> int9: the Swazi birdnests eared.; int9 & sent4 -> int10: the Swazi does birdnest eared and is not still.; int10 -> int11: there is something such that it does birdnest eared and does not still.;
$hypothesis$ = the dastard is a kind of a hamper but it does not still. ; $context$ = sent1: if something that does not strand malignity does ingrain that the hippoboscid is not a Gomorrah hold. sent2: the hippoboscid does ingrain. sent3: the Swazi is not a private. sent4: the Swazi is not still. sent5: if the stunt is not a kind of a still then it is not chaffy. sent6: the disentangler is not a Gomorrah if the hippoboscid is not a Gomorrah. sent7: something is a kind of a hamper that is not still if it does not birdnest eared. sent8: something that does not festoon halma does not birdnest eared and is not a kind of a Gomorrah. sent9: if the Swazi is not a private it birdnests eared and it does hamper. sent10: if there exists something such that it strands malignity or it ingrains or both then the dastard does not festoon halma. ; $proof$ = 
sent2 -> int1: the hippoboscid does strand malignity and/or does ingrain.; int1 -> int2: there is something such that the fact that it strands malignity and/or it does ingrain hold.; int2 & sent10 -> int3: the dastard does not festoon halma.; sent8 -> int4: if the dastard does not festoon halma it does not birdnest eared and is not a Gomorrah.; int3 & int4 -> int5: the dastard does not birdnest eared and it is not a kind of a Gomorrah.; int5 -> int6: the dastard does not birdnest eared.; sent7 -> int7: if the fact that the dastard does not birdnest eared is not false it is both a hamper and not a still.; int6 & int7 -> hypothesis; __PROVED__