the yacht does splat Tachinidae.
sent1: if the insectifuge does splat Tachinidae then the yacht does not splat Tachinidae. sent2: that the insectifuge is sublittoral is not wrong. sent3: if the touchscreen is not permeable then it is a kind of non-sublittoral thing that is a redress. sent4: the yacht does splat Tachinidae if either the insectifuge is not a jolt or it is sublittoral or both. sent5: if the yacht is permeable the insectifuge is both not a redress and not sublittoral. sent6: if the fact that the touchscreen is a persona hold then it is a fundamentals. sent7: the HIV does jolt if the fact that the fact that the heater is not a jolt and not a redress is true does not hold. sent8: the insectifuge is a jolt and/or it is sublittoral. sent9: if the insectifuge is not a jolt the yacht does splat Tachinidae. sent10: either the insectifuge is not a jolt or it is a Haywood or both. sent11: that the touchscreen is not permeable is not wrong if it is a kind of a fundamentals. sent12: the posterior is an elective and it is a Bardeen. sent13: the fact that the yacht is a jolt is correct. sent14: if the posterior is elective the touchscreen is a persona.
sent2 -> int1: the insectifuge is not a jolt and/or it is sublittoral.; int1 & sent4 -> hypothesis;
the baroreceptor does splat Tachinidae.
$hypothesis$ = the yacht does splat Tachinidae. ; $context$ = sent1: if the insectifuge does splat Tachinidae then the yacht does not splat Tachinidae. sent2: that the insectifuge is sublittoral is not wrong. sent3: if the touchscreen is not permeable then it is a kind of non-sublittoral thing that is a redress. sent4: the yacht does splat Tachinidae if either the insectifuge is not a jolt or it is sublittoral or both. sent5: if the yacht is permeable the insectifuge is both not a redress and not sublittoral. sent6: if the fact that the touchscreen is a persona hold then it is a fundamentals. sent7: the HIV does jolt if the fact that the fact that the heater is not a jolt and not a redress is true does not hold. sent8: the insectifuge is a jolt and/or it is sublittoral. sent9: if the insectifuge is not a jolt the yacht does splat Tachinidae. sent10: either the insectifuge is not a jolt or it is a Haywood or both. sent11: that the touchscreen is not permeable is not wrong if it is a kind of a fundamentals. sent12: the posterior is an elective and it is a Bardeen. sent13: the fact that the yacht is a jolt is correct. sent14: if the posterior is elective the touchscreen is a persona. ; $proof$ = 
sent2 -> int1: the insectifuge is not a jolt and/or it is sublittoral.; int1 & sent4 -> hypothesis; __PROVED__