the ethchlorvynol is a documentary.
sent1: that the carriageway is less but it does not stint telluride does not hold if the Cambrian is Nordic. sent2: the carriageway does stint telluride and/or is not cytoplasmic. sent3: the telluride does grumble Cambrian if the Cambrian is not Nordic and/or it is not a kind of a exanthem. sent4: the covert is cytoplasmic if the telluride grumbles Cambrian. sent5: the ethchlorvynol is not a documentary but cytoplasmic if the covert is cytoplasmic. sent6: if the fact that the Cambrian is a documentary hold then the ethchlorvynol is documentary. sent7: everything is less and it does not stint telluride.
void -> assump1: Let's assume that the Cambrian is Nordic.; sent1 & assump1 -> int1: the fact that the carriageway is less thing that does not stint telluride is not true.; sent7 -> int2: the carriageway is less but it does not stint telluride.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Cambrian is not Nordic.; int4 -> int5: the Cambrian is not Nordic and/or it is not a exanthem.; int5 & sent3 -> int6: the telluride does grumble Cambrian.; int6 & sent4 -> int7: the covert is cytoplasmic.; int7 & sent5 -> int8: the ethchlorvynol is not a documentary and is cytoplasmic.; int8 -> hypothesis;
the ethchlorvynol is a documentary.
$hypothesis$ = the ethchlorvynol is a documentary. ; $context$ = sent1: that the carriageway is less but it does not stint telluride does not hold if the Cambrian is Nordic. sent2: the carriageway does stint telluride and/or is not cytoplasmic. sent3: the telluride does grumble Cambrian if the Cambrian is not Nordic and/or it is not a kind of a exanthem. sent4: the covert is cytoplasmic if the telluride grumbles Cambrian. sent5: the ethchlorvynol is not a documentary but cytoplasmic if the covert is cytoplasmic. sent6: if the fact that the Cambrian is a documentary hold then the ethchlorvynol is documentary. sent7: everything is less and it does not stint telluride. ; $proof$ = 
void -> assump1: Let's assume that the Cambrian is Nordic.; sent1 & assump1 -> int1: the fact that the carriageway is less thing that does not stint telluride is not true.; sent7 -> int2: the carriageway is less but it does not stint telluride.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Cambrian is not Nordic.; int4 -> int5: the Cambrian is not Nordic and/or it is not a exanthem.; int5 & sent3 -> int6: the telluride does grumble Cambrian.; int6 & sent4 -> int7: the covert is cytoplasmic.; int7 & sent5 -> int8: the ethchlorvynol is not a documentary and is cytoplasmic.; int8 -> hypothesis; __DISPROVED__