that the hauler is gregarious hold.
sent1: the doula is gregarious. sent2: if that the isoproterenol is both gregarious and a monolith is not true the hauler is not gregarious. sent3: the fact that the hauler is not placable and is not a kind of a monolith is not correct if the doula is not placable. sent4: the isoproterenol is both a Vulcan and a neuropsychology. sent5: the doula is not a Woodward if the fact that it is a kind of a Vulcan and does not debrief doula is incorrect. sent6: the hauler is not a monolith if the fact that the fact that the isoproterenol is a Woodward and/or it is not a monolith is not false does not hold. sent7: something does not debrief doula if it is a kind of a Vulcan. sent8: if the fact that the isoproterenol is not a Woodward but it is not non-budgetary is not right then it is a Woodward. sent9: that something is gregarious and is a monolith does not hold if it is not placable. sent10: if that something is not placable and not a monolith is not correct it is gregarious. sent11: if the doula is not a Woodward the fact that it does underscore or it is not synonymous or both is not right. sent12: something underscores or it is not synonymous or both if it is placable. sent13: that the doula is a kind of a Vulcan that does not debrief doula is incorrect.
sent12 -> int1: the doula does underscore and/or it is not synonymous if it is placable.; void -> assump1: Let's assume that the doula is placable.; int1 & assump1 -> int2: the doula either is an underscore or is not synonymous or both.; sent5 & sent13 -> int3: the doula is not a Woodward.; sent11 & int3 -> int4: the fact that the doula either underscores or is not synonymous or both is not correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the doula is implacable.; int6 & sent3 -> int7: the fact that the hauler is implacable and is not a kind of a monolith is wrong.; sent10 -> int8: the fact that the hauler is gregarious is not false if that it is not placable and it is not a kind of a monolith is wrong.; int7 & int8 -> hypothesis;
the signalman debriefs doula.
$hypothesis$ = that the hauler is gregarious hold. ; $context$ = sent1: the doula is gregarious. sent2: if that the isoproterenol is both gregarious and a monolith is not true the hauler is not gregarious. sent3: the fact that the hauler is not placable and is not a kind of a monolith is not correct if the doula is not placable. sent4: the isoproterenol is both a Vulcan and a neuropsychology. sent5: the doula is not a Woodward if the fact that it is a kind of a Vulcan and does not debrief doula is incorrect. sent6: the hauler is not a monolith if the fact that the fact that the isoproterenol is a Woodward and/or it is not a monolith is not false does not hold. sent7: something does not debrief doula if it is a kind of a Vulcan. sent8: if the fact that the isoproterenol is not a Woodward but it is not non-budgetary is not right then it is a Woodward. sent9: that something is gregarious and is a monolith does not hold if it is not placable. sent10: if that something is not placable and not a monolith is not correct it is gregarious. sent11: if the doula is not a Woodward the fact that it does underscore or it is not synonymous or both is not right. sent12: something underscores or it is not synonymous or both if it is placable. sent13: that the doula is a kind of a Vulcan that does not debrief doula is incorrect. ; $proof$ = 
sent12 -> int1: the doula does underscore and/or it is not synonymous if it is placable.; void -> assump1: Let's assume that the doula is placable.; int1 & assump1 -> int2: the doula either is an underscore or is not synonymous or both.; sent5 & sent13 -> int3: the doula is not a Woodward.; sent11 & int3 -> int4: the fact that the doula either underscores or is not synonymous or both is not correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the doula is implacable.; int6 & sent3 -> int7: the fact that the hauler is implacable and is not a kind of a monolith is wrong.; sent10 -> int8: the fact that the hauler is gregarious is not false if that it is not placable and it is not a kind of a monolith is wrong.; int7 & int8 -> hypothesis; __PROVED__