the fact that the tympanist passes representative hold.
sent1: the tympanist does not punish da'wah if the opsonization does punish Spassky and it passes compass. sent2: the fact that something is not a papyrus and does not hue stinger is wrong if it does not hue phosphorus. sent3: The phosphorus hues hornpipe. sent4: if that something is not a kind of a papyrus and it does not hue stinger does not hold then it passes representative. sent5: if the fact that something is not a narration and it is not a hypericism is false then it is a papyrus. sent6: if that the representative does pass compass is right the fact that it does not punish da'wah and it does not punish Spassky is not true. sent7: if the tympanist does not punish da'wah then it does pass representative. sent8: there exists something such that the fact that it is non-futuristic thing that does not pass compass does not hold. sent9: the representative does hue stinger. sent10: The stinger does hue representative. sent11: if something is a kind of a papyrus and it does hue phosphorus then the opsonization does punish Spassky. sent12: something punishes Spassky if the fact that it does not punish da'wah and does not punishes Spassky is not correct. sent13: if that the representative hues stinger hold then the fact that the hornpipe is not a narration and it is not a kind of a hypericism is not correct. sent14: the hornpipe hues phosphorus. sent15: the opsonization does pass compass and is undulatory.
sent13 & sent9 -> int1: the fact that the hornpipe is not a narration and not a hypericism is not correct.; sent5 -> int2: if that the fact that the hornpipe is not a narration and not a hypericism is not wrong does not hold that it is a papyrus is not incorrect.; int1 & int2 -> int3: the hornpipe is a kind of a papyrus.; int3 & sent14 -> int4: the hornpipe is a kind of a papyrus and it hues phosphorus.; int4 -> int5: something is a papyrus and it hues phosphorus.; int5 & sent11 -> int6: the opsonization does punish Spassky.; sent15 -> int7: the opsonization does pass compass.; int6 & int7 -> int8: the opsonization punishes Spassky and it does pass compass.; int8 & sent1 -> int9: that the tympanist does not punish da'wah hold.; int9 & sent7 -> hypothesis;
the benefactress passes representative.
sent4 -> int10: that the benefactress does pass representative is true if the fact that it is not a kind of a papyrus and it does not hue stinger is not right.; sent2 -> int11: that the benefactress is not a papyrus and it does not hue stinger is not right if it does not hue phosphorus.; sent12 -> int12: if the fact that the representative does not punish da'wah and it does not punish Spassky is not right then it does punish Spassky.;
$hypothesis$ = the fact that the tympanist passes representative hold. ; $context$ = sent1: the tympanist does not punish da'wah if the opsonization does punish Spassky and it passes compass. sent2: the fact that something is not a papyrus and does not hue stinger is wrong if it does not hue phosphorus. sent3: The phosphorus hues hornpipe. sent4: if that something is not a kind of a papyrus and it does not hue stinger does not hold then it passes representative. sent5: if the fact that something is not a narration and it is not a hypericism is false then it is a papyrus. sent6: if that the representative does pass compass is right the fact that it does not punish da'wah and it does not punish Spassky is not true. sent7: if the tympanist does not punish da'wah then it does pass representative. sent8: there exists something such that the fact that it is non-futuristic thing that does not pass compass does not hold. sent9: the representative does hue stinger. sent10: The stinger does hue representative. sent11: if something is a kind of a papyrus and it does hue phosphorus then the opsonization does punish Spassky. sent12: something punishes Spassky if the fact that it does not punish da'wah and does not punishes Spassky is not correct. sent13: if that the representative hues stinger hold then the fact that the hornpipe is not a narration and it is not a kind of a hypericism is not correct. sent14: the hornpipe hues phosphorus. sent15: the opsonization does pass compass and is undulatory. ; $proof$ = 
sent13 & sent9 -> int1: the fact that the hornpipe is not a narration and not a hypericism is not correct.; sent5 -> int2: if that the fact that the hornpipe is not a narration and not a hypericism is not wrong does not hold that it is a papyrus is not incorrect.; int1 & int2 -> int3: the hornpipe is a kind of a papyrus.; int3 & sent14 -> int4: the hornpipe is a kind of a papyrus and it hues phosphorus.; int4 -> int5: something is a papyrus and it hues phosphorus.; int5 & sent11 -> int6: the opsonization does punish Spassky.; sent15 -> int7: the opsonization does pass compass.; int6 & int7 -> int8: the opsonization punishes Spassky and it does pass compass.; int8 & sent1 -> int9: that the tympanist does not punish da'wah hold.; int9 & sent7 -> hypothesis; __PROVED__