the Atlas is a no-show and it does solemnize heroism.
sent1: the viewgraph is a levy if the Puck is not a kind of a greasiness. sent2: the fact that the cistern is a Paleozoic and it does haze headed is not right if the heel is a Paleozoic. sent3: the Atlas does solemnize heroism if the heel does not solemnize heroism but it is a Paleozoic. sent4: the obverse is a greasiness. sent5: the cistern is a greasiness. sent6: that the Puck is a refresher that is a greasiness is incorrect. sent7: if a greasiness does not levy then it does not solemnize anagram. sent8: if that the heel is a Paleozoic is not incorrect the fact that the cistern is a kind of a Paleozoic but it does not haze headed is incorrect. sent9: the Atlas is a refresher that is a levy if the viewgraph does not solemnize heroism. sent10: the cistern does not haze headed. sent11: something is a refresher and is a no-show if it does not solemnize anagram. sent12: if the Atlas does tease bimillennium it is a greasiness and it does not levy. sent13: if the fact that the cistern is a Paleozoic but it does not haze headed does not hold then the viewgraph does not solemnize anagram. sent14: the Puck is not a greasiness if the obverse is a kind of a greasiness. sent15: if something is not a refresher that it is a no-show and it does solemnize heroism is not true. sent16: the fact that the cistern is Paleozoic and it hazes headed is not right. sent17: if the Atlas solemnizes heroism the fact that the heel does solemnizes heroism and it is a Paleozoic is not true. sent18: if the Atlas is a refresher the heel is a Paleozoic. sent19: if the Puck is not a greasiness then the viewgraph is a kind of a levy that does solemnize anagram.
void -> assump1: Let's assume that the Atlas is a refresher.; sent18 & assump1 -> int1: the heel is a Paleozoic.; int1 & sent8 -> int2: that the cistern is Paleozoic but it does not haze headed is incorrect.; int2 & sent13 -> int3: that the viewgraph does not solemnize anagram is correct.; sent14 & sent4 -> int4: the Puck is not a kind of a greasiness.; sent19 & int4 -> int5: the viewgraph levies and solemnizes anagram.; int5 -> int6: the viewgraph does solemnize anagram.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the Atlas is not a refresher hold.; sent15 -> int9: if the Atlas is not a refresher that it is a kind of a no-show and it does solemnize heroism is wrong.; int8 & int9 -> hypothesis;
the Atlas is a no-show and does solemnize heroism.
sent11 -> int10: the fact that the Atlas is a refresher and it is a no-show hold if it does not solemnize anagram.; sent7 -> int11: that if the Atlas is a greasiness but it is not the levy then the Atlas does not solemnize anagram is right.; sent10 -> int12: something does not haze headed.;
$hypothesis$ = the Atlas is a no-show and it does solemnize heroism. ; $context$ = sent1: the viewgraph is a levy if the Puck is not a kind of a greasiness. sent2: the fact that the cistern is a Paleozoic and it does haze headed is not right if the heel is a Paleozoic. sent3: the Atlas does solemnize heroism if the heel does not solemnize heroism but it is a Paleozoic. sent4: the obverse is a greasiness. sent5: the cistern is a greasiness. sent6: that the Puck is a refresher that is a greasiness is incorrect. sent7: if a greasiness does not levy then it does not solemnize anagram. sent8: if that the heel is a Paleozoic is not incorrect the fact that the cistern is a kind of a Paleozoic but it does not haze headed is incorrect. sent9: the Atlas is a refresher that is a levy if the viewgraph does not solemnize heroism. sent10: the cistern does not haze headed. sent11: something is a refresher and is a no-show if it does not solemnize anagram. sent12: if the Atlas does tease bimillennium it is a greasiness and it does not levy. sent13: if the fact that the cistern is a Paleozoic but it does not haze headed does not hold then the viewgraph does not solemnize anagram. sent14: the Puck is not a greasiness if the obverse is a kind of a greasiness. sent15: if something is not a refresher that it is a no-show and it does solemnize heroism is not true. sent16: the fact that the cistern is Paleozoic and it hazes headed is not right. sent17: if the Atlas solemnizes heroism the fact that the heel does solemnizes heroism and it is a Paleozoic is not true. sent18: if the Atlas is a refresher the heel is a Paleozoic. sent19: if the Puck is not a greasiness then the viewgraph is a kind of a levy that does solemnize anagram. ; $proof$ = 
void -> assump1: Let's assume that the Atlas is a refresher.; sent18 & assump1 -> int1: the heel is a Paleozoic.; int1 & sent8 -> int2: that the cistern is Paleozoic but it does not haze headed is incorrect.; int2 & sent13 -> int3: that the viewgraph does not solemnize anagram is correct.; sent14 & sent4 -> int4: the Puck is not a kind of a greasiness.; sent19 & int4 -> int5: the viewgraph levies and solemnizes anagram.; int5 -> int6: the viewgraph does solemnize anagram.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the Atlas is not a refresher hold.; sent15 -> int9: if the Atlas is not a refresher that it is a kind of a no-show and it does solemnize heroism is wrong.; int8 & int9 -> hypothesis; __DISPROVED__