that either the commissioner does subrogate inflater or it does not revert or both is false.
sent1: if something is a keyboardist it subrogates anklebone. sent2: the ovule does not revert if something that does not besot positioner is not a princedom. sent3: the commissioner does revert if the positioner does not subrogate inflater. sent4: the ovule does not lysogenize creepiness. sent5: the acrobat is not a princedom. sent6: if something does lysogenize creepiness it does not besot positioner and is not a princedom. sent7: the ovule does not lysogenize creepiness if it does not besot positioner. sent8: the positioner does not subrogate inflater if the ovule is a kind of a coxswain and it is a keyboardist. sent9: that the acrobat is a princedom is true if the ovule does besot positioner. sent10: the commissioner reverts. sent11: if the positioner subrogates anklebone the acrobat does lysogenize creepiness. sent12: the ovule does offload. sent13: the ovule does offload and is a coxswain. sent14: if the positioner does not subrogate inflater then the fact that the commissioner does subrogate inflater or does not revert or both does not hold. sent15: if the ovule does not besot positioner then it does not lysogenize creepiness and it does subrogate anklebone.
void -> assump1: Let's assume that the ovule besots positioner.; sent9 & assump1 -> int1: the acrobat is a princedom.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the ovule does not besot positioner.; int3 & sent15 -> int4: the ovule does not lysogenize creepiness but it subrogates anklebone.; int4 -> int5: the fact that the ovule subrogates anklebone is right.; sent13 -> int6: the ovule is a kind of a coxswain.;
the commissioner does subrogate inflater and/or it does not revert.
sent6 -> int7: the acrobat does not besot positioner and it is not a kind of a princedom if it does lysogenize creepiness.; sent1 -> int8: if the positioner is a keyboardist then that it does subrogate anklebone is not false.;
$hypothesis$ = that either the commissioner does subrogate inflater or it does not revert or both is false. ; $context$ = sent1: if something is a keyboardist it subrogates anklebone. sent2: the ovule does not revert if something that does not besot positioner is not a princedom. sent3: the commissioner does revert if the positioner does not subrogate inflater. sent4: the ovule does not lysogenize creepiness. sent5: the acrobat is not a princedom. sent6: if something does lysogenize creepiness it does not besot positioner and is not a princedom. sent7: the ovule does not lysogenize creepiness if it does not besot positioner. sent8: the positioner does not subrogate inflater if the ovule is a kind of a coxswain and it is a keyboardist. sent9: that the acrobat is a princedom is true if the ovule does besot positioner. sent10: the commissioner reverts. sent11: if the positioner subrogates anklebone the acrobat does lysogenize creepiness. sent12: the ovule does offload. sent13: the ovule does offload and is a coxswain. sent14: if the positioner does not subrogate inflater then the fact that the commissioner does subrogate inflater or does not revert or both does not hold. sent15: if the ovule does not besot positioner then it does not lysogenize creepiness and it does subrogate anklebone. ; $proof$ = 
void -> assump1: Let's assume that the ovule besots positioner.; sent9 & assump1 -> int1: the acrobat is a princedom.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the ovule does not besot positioner.; int3 & sent15 -> int4: the ovule does not lysogenize creepiness but it subrogates anklebone.; int4 -> int5: the fact that the ovule subrogates anklebone is right.; sent13 -> int6: the ovule is a kind of a coxswain.; __UNKNOWN__