the scyphozoan does reconstruct.
sent1: if there exists something such that it is not a kind of a augite then the fact that the scyphozoan does not barb boredom and does arouse nastiness is not true. sent2: everything is not non-Columbian but salivary. sent3: the fact that the pomade does barb boredom but it is not salivary is not correct. sent4: the scyphozoan barbs boredom if the fact that it does not barbs boredom and it arouses nastiness is incorrect. sent5: if the fact that the pomade does barb boredom but it is not salivary is not correct then it does not barb boredom. sent6: something is not a Livingston if the fact that it is not inextinguishable and does not arouse munch is not correct. sent7: the scyphozoan is undrinkable if the storm is not inextinguishable and does not arouse munch. sent8: something is not a augite. sent9: if something that is Columbian is not a Livingston it does arouse nastiness. sent10: if the storm is not a Livingston then the pomade is not Columbian. sent11: if the scyphozoan is undrinkable and it barbs boredom then it does not reconstruct.
sent6 -> int1: the storm is not a Livingston if the fact that it is a kind of extinguishable thing that does not arouse munch is false.; void -> assump1: Let's assume that the fact that the storm is not inextinguishable and it does not arouse munch is not true.; int1 & assump1 -> int2: the storm is not a Livingston.; int2 & sent10 -> int3: the pomade is not Columbian.; sent2 -> int4: the pomade is Columbian and it is salivary.; int4 -> int5: the pomade is Columbian.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the storm is not inextinguishable and does not arouse munch.; int7 & sent7 -> int8: the scyphozoan is undrinkable.; sent8 & sent1 -> int9: that the scyphozoan does not barb boredom but it does arouse nastiness is wrong.; sent4 & int9 -> int10: that the scyphozoan does barb boredom hold.; int8 & int10 -> int11: the scyphozoan is undrinkable and does barb boredom.; int11 & sent11 -> hypothesis;
the module does arouse nastiness.
sent9 -> int12: if the module is Columbian but it is not a kind of a Livingston then it arouses nastiness.;
$hypothesis$ = the scyphozoan does reconstruct. ; $context$ = sent1: if there exists something such that it is not a kind of a augite then the fact that the scyphozoan does not barb boredom and does arouse nastiness is not true. sent2: everything is not non-Columbian but salivary. sent3: the fact that the pomade does barb boredom but it is not salivary is not correct. sent4: the scyphozoan barbs boredom if the fact that it does not barbs boredom and it arouses nastiness is incorrect. sent5: if the fact that the pomade does barb boredom but it is not salivary is not correct then it does not barb boredom. sent6: something is not a Livingston if the fact that it is not inextinguishable and does not arouse munch is not correct. sent7: the scyphozoan is undrinkable if the storm is not inextinguishable and does not arouse munch. sent8: something is not a augite. sent9: if something that is Columbian is not a Livingston it does arouse nastiness. sent10: if the storm is not a Livingston then the pomade is not Columbian. sent11: if the scyphozoan is undrinkable and it barbs boredom then it does not reconstruct. ; $proof$ = 
sent6 -> int1: the storm is not a Livingston if the fact that it is a kind of extinguishable thing that does not arouse munch is false.; void -> assump1: Let's assume that the fact that the storm is not inextinguishable and it does not arouse munch is not true.; int1 & assump1 -> int2: the storm is not a Livingston.; int2 & sent10 -> int3: the pomade is not Columbian.; sent2 -> int4: the pomade is Columbian and it is salivary.; int4 -> int5: the pomade is Columbian.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the storm is not inextinguishable and does not arouse munch.; int7 & sent7 -> int8: the scyphozoan is undrinkable.; sent8 & sent1 -> int9: that the scyphozoan does not barb boredom but it does arouse nastiness is wrong.; sent4 & int9 -> int10: that the scyphozoan does barb boredom hold.; int8 & int10 -> int11: the scyphozoan is undrinkable and does barb boredom.; int11 & sent11 -> hypothesis; __DISPROVED__