there is something such that if it is not a spindleberry it does not trisect Hegelian and does not fight.
sent1: the acyclovir is not a Sphaerocarpus and it does not negotiate Ailuropoda if that it is not a kind of a spindleberry hold. sent2: if the Thessalian is not atomic it is not a justness and it is not a chandelle. sent3: if the North does not trisect Hegelian it is unpaintable and a ribbed. sent4: the drunk does not trisect Hegelian if it is not a spindleberry. sent5: if the drunk is not a spindleberry then it does not trisect Hegelian and it is not a kind of a fight. sent6: something does not soldier Jong and it does not quiver broiler if it is not depressant. sent7: something is not a spindleberry and is not a justness if it does not regurgitate. sent8: if the drunk is not an immortal it is not a kind of a spindleberry and it does not quiver spur. sent9: there is something such that if it is not a sphenion it is not a depression. sent10: if something is not Bahamian then it does not burrow and does not trisect Alnus. sent11: there is something such that if it is not a spindleberry it does trisect Hegelian and is not a kind of a fight. sent12: there exists something such that if it is not a spindleberry then it is not a fight. sent13: the drunk does not trisect Hegelian and it is not a kind of a fight if it is a spindleberry. sent14: there exists something such that if it is a kind of a spindleberry it does not trisect Hegelian and does not fight. sent15: there exists something such that if it is not a spindleberry it does not trisect Hegelian. sent16: the drunk does not trisect Hegelian and does fight if it is not a spindleberry. sent17: there is something such that if it is not a kind of a spindleberry then it does not trisect Hegelian and is a fight.
sent5 -> hypothesis;
there exists something such that if it is not depressant it does not soldier Jong and does not quiver broiler.
sent6 -> int1: the apprentice does not soldier Jong and does not quiver broiler if it is not depressant.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a spindleberry it does not trisect Hegelian and does not fight. ; $context$ = sent1: the acyclovir is not a Sphaerocarpus and it does not negotiate Ailuropoda if that it is not a kind of a spindleberry hold. sent2: if the Thessalian is not atomic it is not a justness and it is not a chandelle. sent3: if the North does not trisect Hegelian it is unpaintable and a ribbed. sent4: the drunk does not trisect Hegelian if it is not a spindleberry. sent5: if the drunk is not a spindleberry then it does not trisect Hegelian and it is not a kind of a fight. sent6: something does not soldier Jong and it does not quiver broiler if it is not depressant. sent7: something is not a spindleberry and is not a justness if it does not regurgitate. sent8: if the drunk is not an immortal it is not a kind of a spindleberry and it does not quiver spur. sent9: there is something such that if it is not a sphenion it is not a depression. sent10: if something is not Bahamian then it does not burrow and does not trisect Alnus. sent11: there is something such that if it is not a spindleberry it does trisect Hegelian and is not a kind of a fight. sent12: there exists something such that if it is not a spindleberry then it is not a fight. sent13: the drunk does not trisect Hegelian and it is not a kind of a fight if it is a spindleberry. sent14: there exists something such that if it is a kind of a spindleberry it does not trisect Hegelian and does not fight. sent15: there exists something such that if it is not a spindleberry it does not trisect Hegelian. sent16: the drunk does not trisect Hegelian and does fight if it is not a spindleberry. sent17: there is something such that if it is not a kind of a spindleberry then it does not trisect Hegelian and is a fight. ; $proof$ = 
sent5 -> hypothesis; __PROVED__