the fact that there exists something such that if the fact that it is not retroactive and it is a kind of a serial is not correct then it does not spurt Keokuk does not hold.
sent1: there is something such that if it is not retroactive and it is a kind of a serial it does not spurt Keokuk. sent2: the Genevan is not a kind of a daraf if it does not tout inhabitant and is retroactive. sent3: if the myrmecophyte does not tout Carya but it does indurate tetraspore it does not spurt Keokuk. sent4: there exists something such that if it is retroactive it does not spurt Keokuk. sent5: the fact that the myrmecophyte does not spurt Keokuk if the myrmecophyte is not a serial hold. sent6: the myrmecophyte does not spurt Keokuk if the fact that it is retroactive and it is a kind of a serial is incorrect. sent7: there exists something such that if that the fact that it wanders and it is a kind of a 1750s hold is incorrect it is not acapnic. sent8: there exists something such that if it is not a kind of a serial then it does not spurt Keokuk. sent9: there exists something such that if the fact that it does not tout atole and it is anaglyphic is wrong then it is a kind of a Almoravid. sent10: if the myrmecophyte is not a Moroccan but it decorates then it is not a businesswoman. sent11: the myrmecophyte indurates tetraspore if the fact that it does not foliate and it spurts Keokuk is false. sent12: there exists something such that if that it is not a backfire and is cyanobacterial is incorrect then it does tout lightwood. sent13: something is not a kind of a paddock if the fact that it is not a kind of a serial and touts brink does not hold. sent14: that the locomotive is not a serial is not wrong if it is not biauricular and it is a discretion. sent15: if that the myrmecophyte is not retroactive and not non-serial does not hold then it does not spurt Keokuk. sent16: if that the myrmecophyte is not nonspherical but it does spurt Keokuk is false then it does not tout Genevan. sent17: the myrmecophyte does not clap Hirudo if it does not rappel and is a serial.
sent15 -> hypothesis;
if the fact that the inhabitant is non-serial thing that does tout brink is false that it is not a kind of a paddock is right.
sent13 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it is not retroactive and it is a kind of a serial is not correct then it does not spurt Keokuk does not hold. ; $context$ = sent1: there is something such that if it is not retroactive and it is a kind of a serial it does not spurt Keokuk. sent2: the Genevan is not a kind of a daraf if it does not tout inhabitant and is retroactive. sent3: if the myrmecophyte does not tout Carya but it does indurate tetraspore it does not spurt Keokuk. sent4: there exists something such that if it is retroactive it does not spurt Keokuk. sent5: the fact that the myrmecophyte does not spurt Keokuk if the myrmecophyte is not a serial hold. sent6: the myrmecophyte does not spurt Keokuk if the fact that it is retroactive and it is a kind of a serial is incorrect. sent7: there exists something such that if that the fact that it wanders and it is a kind of a 1750s hold is incorrect it is not acapnic. sent8: there exists something such that if it is not a kind of a serial then it does not spurt Keokuk. sent9: there exists something such that if the fact that it does not tout atole and it is anaglyphic is wrong then it is a kind of a Almoravid. sent10: if the myrmecophyte is not a Moroccan but it decorates then it is not a businesswoman. sent11: the myrmecophyte indurates tetraspore if the fact that it does not foliate and it spurts Keokuk is false. sent12: there exists something such that if that it is not a backfire and is cyanobacterial is incorrect then it does tout lightwood. sent13: something is not a kind of a paddock if the fact that it is not a kind of a serial and touts brink does not hold. sent14: that the locomotive is not a serial is not wrong if it is not biauricular and it is a discretion. sent15: if that the myrmecophyte is not retroactive and not non-serial does not hold then it does not spurt Keokuk. sent16: if that the myrmecophyte is not nonspherical but it does spurt Keokuk is false then it does not tout Genevan. sent17: the myrmecophyte does not clap Hirudo if it does not rappel and is a serial. ; $proof$ = 
sent15 -> hypothesis; __DISPROVED__