the sporangiophore does include and is not grassless.
sent1: that the ambulance is appellative thing that is not a restraint is true. sent2: the hydrochlorofluorocarbon is not appellative but it jams Lepanto. sent3: that the difflugia does include is true if a appellative thing does jam Lepanto. sent4: the fact that the Basil jams biofeedback but it does not applaud if the dashboard is a kind of an objective is not incorrect. sent5: the dashboard is both a triclinium and an objective if the jig is not a ride. sent6: if something is not nonharmonic then that it includes and it is not grassless is not right. sent7: if the difflugia includes the sporangiophore includes and is not grassless. sent8: if the difflugia is not nonharmonic but it is a sigmoidoscope the sporangiophore is not nonharmonic. sent9: there exists something such that it is non-appellative. sent10: that the hydrochlorofluorocarbon is not grassless is true. sent11: the hydrochlorofluorocarbon is not appellative. sent12: if something that is not appellative jams Lepanto the difflugia does include. sent13: there exists something such that it is not grassless and it is appellative. sent14: everything is Lincolnesque. sent15: something that is Lincolnesque either does not weigh or does not ride or both. sent16: if the enkephalin does not ride the jig is not a ride. sent17: the jig does not ride if the enkephalin does not weigh.
sent2 -> int1: something is not appellative but it does jam Lepanto.; int1 & sent12 -> int2: the difflugia includes.; sent7 & int2 -> hypothesis;
that the sporangiophore includes and is not grassless is false.
sent6 -> int3: that the sporangiophore does include and is not grassless does not hold if it is not nonharmonic.; sent15 -> int4: the enkephalin does not weigh and/or does not ride if it is Lincolnesque.; sent14 -> int5: the enkephalin is Lincolnesque.; int4 & int5 -> int6: the enkephalin does not weigh or is not a kind of a ride or both.; int6 & sent17 & sent16 -> int7: the jig does not ride.; sent5 & int7 -> int8: the dashboard is a triclinium and it is objective.; int8 -> int9: the dashboard is an objective.; sent4 & int9 -> int10: the Basil jams biofeedback but it does not applaud.; int10 -> int11: the Basil does not applaud.; int11 -> int12: there is something such that it does not applaud.;
$hypothesis$ = the sporangiophore does include and is not grassless. ; $context$ = sent1: that the ambulance is appellative thing that is not a restraint is true. sent2: the hydrochlorofluorocarbon is not appellative but it jams Lepanto. sent3: that the difflugia does include is true if a appellative thing does jam Lepanto. sent4: the fact that the Basil jams biofeedback but it does not applaud if the dashboard is a kind of an objective is not incorrect. sent5: the dashboard is both a triclinium and an objective if the jig is not a ride. sent6: if something is not nonharmonic then that it includes and it is not grassless is not right. sent7: if the difflugia includes the sporangiophore includes and is not grassless. sent8: if the difflugia is not nonharmonic but it is a sigmoidoscope the sporangiophore is not nonharmonic. sent9: there exists something such that it is non-appellative. sent10: that the hydrochlorofluorocarbon is not grassless is true. sent11: the hydrochlorofluorocarbon is not appellative. sent12: if something that is not appellative jams Lepanto the difflugia does include. sent13: there exists something such that it is not grassless and it is appellative. sent14: everything is Lincolnesque. sent15: something that is Lincolnesque either does not weigh or does not ride or both. sent16: if the enkephalin does not ride the jig is not a ride. sent17: the jig does not ride if the enkephalin does not weigh. ; $proof$ = 
sent2 -> int1: something is not appellative but it does jam Lepanto.; int1 & sent12 -> int2: the difflugia includes.; sent7 & int2 -> hypothesis; __PROVED__