the toad-in-the-hole is not lotic.
sent1: the fact that the toad-in-the-hole is not a kind of a mold and it does not rake campaigner is not true. sent2: the fact that the toad-in-the-hole is not a mold but it does rake campaigner does not hold. sent3: if there exists something such that it is not a mold the bolometer does rake deck. sent4: the toad-in-the-hole is a Corticium if it is lotic. sent5: there exists something such that the fact that it is a sauna is not incorrect. sent6: if the fact that the toad-in-the-hole is not a mold and does not rake campaigner is not correct then it does rake campaigner. sent7: if the toad-in-the-hole does rake campaigner and it is a kind of a Corticium it is not acatalectic. sent8: the toad-in-the-hole is a acatalectic and it censuses if there exists something such that it is not a sauna. sent9: something is not a sauna. sent10: the toad-in-the-hole is not an epicure if it is proprietary and it is a kind of a acatalectic. sent11: if a Corticium does not rake campaigner then it is lotic. sent12: the toad-in-the-hole is a kind of a census if there is something such that it is not a sauna.
void -> assump1: Let's assume that the toad-in-the-hole is lotic.; sent4 & assump1 -> int1: the toad-in-the-hole is a Corticium.; sent6 & sent1 -> int2: the toad-in-the-hole rakes campaigner.; int1 & int2 -> int3: the toad-in-the-hole rakes campaigner and it is a Corticium.; int3 & sent7 -> int4: the toad-in-the-hole is not acatalectic.; sent9 & sent8 -> int5: the toad-in-the-hole is a acatalectic that is a census.; int5 -> int6: the toad-in-the-hole is a kind of a acatalectic.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the toad-in-the-hole is lotic.
sent11 -> int8: the toad-in-the-hole is lotic if it is a kind of a Corticium and does not rake campaigner.;
$hypothesis$ = the toad-in-the-hole is not lotic. ; $context$ = sent1: the fact that the toad-in-the-hole is not a kind of a mold and it does not rake campaigner is not true. sent2: the fact that the toad-in-the-hole is not a mold but it does rake campaigner does not hold. sent3: if there exists something such that it is not a mold the bolometer does rake deck. sent4: the toad-in-the-hole is a Corticium if it is lotic. sent5: there exists something such that the fact that it is a sauna is not incorrect. sent6: if the fact that the toad-in-the-hole is not a mold and does not rake campaigner is not correct then it does rake campaigner. sent7: if the toad-in-the-hole does rake campaigner and it is a kind of a Corticium it is not acatalectic. sent8: the toad-in-the-hole is a acatalectic and it censuses if there exists something such that it is not a sauna. sent9: something is not a sauna. sent10: the toad-in-the-hole is not an epicure if it is proprietary and it is a kind of a acatalectic. sent11: if a Corticium does not rake campaigner then it is lotic. sent12: the toad-in-the-hole is a kind of a census if there is something such that it is not a sauna. ; $proof$ = 
void -> assump1: Let's assume that the toad-in-the-hole is lotic.; sent4 & assump1 -> int1: the toad-in-the-hole is a Corticium.; sent6 & sent1 -> int2: the toad-in-the-hole rakes campaigner.; int1 & int2 -> int3: the toad-in-the-hole rakes campaigner and it is a Corticium.; int3 & sent7 -> int4: the toad-in-the-hole is not acatalectic.; sent9 & sent8 -> int5: the toad-in-the-hole is a acatalectic that is a census.; int5 -> int6: the toad-in-the-hole is a kind of a acatalectic.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__