the Vermonter does tickle.
sent1: the form is an exporter and/or is not a web if the hollow is European. sent2: the fact that the toadflax does tickle and/or it is a European hold. sent3: if the fact that the fact that the Vermonter is not a kind of a European but it is a kind of a refinery does not hold is right then it is not a tickle. sent4: the form is epizoan if it is an exporter or it is not a kind of a web or both. sent5: that the form is an exporter and a refinery is not true. sent6: the fact that the toadflax is epizoan and it is a tickling is not correct. sent7: the form is not epizoan if the fact that the toadflax is epizoan and it is a tickling is not true. sent8: if the hollow is not a European that the Vermonter is not a European but it is a refinery is incorrect.
void -> assump1: Let's assume that the hollow is a European.; sent1 & assump1 -> int1: the form is an exporter or it is not a web or both.; int1 & sent4 -> int2: the form is epizoan.; sent7 & sent6 -> int3: the form is not epizoan.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hollow is not a European.; int5 & sent8 -> int6: the fact that the Vermonter is not European but it is a kind of a refinery is not right.; int6 & sent3 -> hypothesis;
$hypothesis$ = the Vermonter does tickle. ; $context$ = sent1: the form is an exporter and/or is not a web if the hollow is European. sent2: the fact that the toadflax does tickle and/or it is a European hold. sent3: if the fact that the fact that the Vermonter is not a kind of a European but it is a kind of a refinery does not hold is right then it is not a tickle. sent4: the form is epizoan if it is an exporter or it is not a kind of a web or both. sent5: that the form is an exporter and a refinery is not true. sent6: the fact that the toadflax is epizoan and it is a tickling is not correct. sent7: the form is not epizoan if the fact that the toadflax is epizoan and it is a tickling is not true. sent8: if the hollow is not a European that the Vermonter is not a European but it is a refinery is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the hollow is a European.; sent1 & assump1 -> int1: the form is an exporter or it is not a web or both.; int1 & sent4 -> int2: the form is epizoan.; sent7 & sent6 -> int3: the form is not epizoan.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hollow is not a European.; int5 & sent8 -> int6: the fact that the Vermonter is not European but it is a kind of a refinery is not right.; int6 & sent3 -> hypothesis; __DISPROVED__