the fact that the cutthroat is not a cogency and does not narrow Polyprion is not correct.
sent1: if something is not a joggle it is non-persistent and is not amphoric. sent2: something that is not persistent is not exocentric or is not a hitch or both. sent3: that the humification does narrow arianist but it is not physiotherapeutic does not hold. sent4: if there exists something such that it is not exocentric and/or it is not a kind of a hitch then the scuffer is not amphoric. sent5: something is a kind of propitious thing that is not a kind of a joggle if it is a cogency. sent6: something does not narrow arianist if it is not persistent and it is not amphoric. sent7: the insert is not a kind of a joggle if the scuffer is not unpropitious and it does not joggle. sent8: that something is not a cogency and it does not narrow Polyprion does not hold if it is not unpropitious. sent9: if the scuffer is not amphoric then the cutthroat does not joggle or is not amphoric or both. sent10: if the cutthroat does not joggle or it is not amphoric or both then it is not unpropitious. sent11: the slopseller is not persistent if the fact that the humification narrows arianist and is not physiotherapeutic is false.
sent2 -> int1: if the slopseller is not persistent then it is not exocentric or not a hitch or both.; sent11 & sent3 -> int2: the slopseller is not persistent.; int1 & int2 -> int3: that the slopseller is not exocentric or is not a hitch or both hold.; int3 -> int4: there exists something such that either it is not exocentric or it is not a hitch or both.; int4 & sent4 -> int5: the scuffer is not amphoric.; int5 & sent9 -> int6: either the cutthroat is not a kind of a joggle or it is not amphoric or both.; int6 & sent10 -> int7: the fact that the cutthroat is not unpropitious is true.; sent8 -> int8: the fact that the cutthroat is not a kind of a cogency and it does not narrow Polyprion is false if it is not unpropitious.; int7 & int8 -> hypothesis;
the insert does not narrow arianist.
sent6 -> int9: the insert does not narrow arianist if that it is not persistent and is not amphoric is not incorrect.; sent1 -> int10: the insert is a kind of non-persistent thing that is not amphoric if it is not a joggle.; sent5 -> int11: if the scuffer is a kind of a cogency it is not unpropitious and it is not a joggle.;
$hypothesis$ = the fact that the cutthroat is not a cogency and does not narrow Polyprion is not correct. ; $context$ = sent1: if something is not a joggle it is non-persistent and is not amphoric. sent2: something that is not persistent is not exocentric or is not a hitch or both. sent3: that the humification does narrow arianist but it is not physiotherapeutic does not hold. sent4: if there exists something such that it is not exocentric and/or it is not a kind of a hitch then the scuffer is not amphoric. sent5: something is a kind of propitious thing that is not a kind of a joggle if it is a cogency. sent6: something does not narrow arianist if it is not persistent and it is not amphoric. sent7: the insert is not a kind of a joggle if the scuffer is not unpropitious and it does not joggle. sent8: that something is not a cogency and it does not narrow Polyprion does not hold if it is not unpropitious. sent9: if the scuffer is not amphoric then the cutthroat does not joggle or is not amphoric or both. sent10: if the cutthroat does not joggle or it is not amphoric or both then it is not unpropitious. sent11: the slopseller is not persistent if the fact that the humification narrows arianist and is not physiotherapeutic is false. ; $proof$ = 
sent2 -> int1: if the slopseller is not persistent then it is not exocentric or not a hitch or both.; sent11 & sent3 -> int2: the slopseller is not persistent.; int1 & int2 -> int3: that the slopseller is not exocentric or is not a hitch or both hold.; int3 -> int4: there exists something such that either it is not exocentric or it is not a hitch or both.; int4 & sent4 -> int5: the scuffer is not amphoric.; int5 & sent9 -> int6: either the cutthroat is not a kind of a joggle or it is not amphoric or both.; int6 & sent10 -> int7: the fact that the cutthroat is not unpropitious is true.; sent8 -> int8: the fact that the cutthroat is not a kind of a cogency and it does not narrow Polyprion is false if it is not unpropitious.; int7 & int8 -> hypothesis; __PROVED__