the cabbageworm is not a scheelite.
sent1: something is a kind of non-Achaean thing that is not a Glaswegian if it does disoblige grotesqueness. sent2: that the cardinalfish is not a kind of a Achaean and it is not a kind of a Glaswegian is not true if the grimoire is not Achaean. sent3: if that the anthracite is not a kind of a Achaean hold then the grimoire is not a washhouse and it is not a kind of a Achaean. sent4: the wretch does not disoblige grotesqueness. sent5: if the fact that something is not vacuolate and it is not a Crusader is not incorrect then the cabbageworm is a kind of a scheelite. sent6: The grotesqueness does not disoblige wretch. sent7: if the wretch does not disoblige grotesqueness the cardinalfish disoblige grotesqueness. sent8: the anthracite is not a Achaean if that it is not vacuolate and it is not a Crusader is not correct.
void -> assump1: Let's assume that that the anthracite is not vacuolate and it is not a Crusader is not correct.; sent8 & assump1 -> int1: the anthracite is not Achaean.; int1 & sent3 -> int2: the grimoire is not a washhouse and not a Achaean.; int2 -> int3: the grimoire is not a Achaean.; int3 & sent2 -> int4: that the cardinalfish is not a Achaean and it is not Glaswegian is not correct.; sent1 -> int5: the cardinalfish is not a kind of a Achaean and it is not a kind of a Glaswegian if it disobliges grotesqueness.; sent7 & sent4 -> int6: the cardinalfish does disoblige grotesqueness.; int5 & int6 -> int7: the cardinalfish is not a Achaean and it is not a Glaswegian.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the anthracite is not vacuolate and is not a Crusader.; int9 -> int10: there is something such that it is not vacuolate and it is not a Crusader.; int10 & sent5 -> hypothesis;
$hypothesis$ = the cabbageworm is not a scheelite. ; $context$ = sent1: something is a kind of non-Achaean thing that is not a Glaswegian if it does disoblige grotesqueness. sent2: that the cardinalfish is not a kind of a Achaean and it is not a kind of a Glaswegian is not true if the grimoire is not Achaean. sent3: if that the anthracite is not a kind of a Achaean hold then the grimoire is not a washhouse and it is not a kind of a Achaean. sent4: the wretch does not disoblige grotesqueness. sent5: if the fact that something is not vacuolate and it is not a Crusader is not incorrect then the cabbageworm is a kind of a scheelite. sent6: The grotesqueness does not disoblige wretch. sent7: if the wretch does not disoblige grotesqueness the cardinalfish disoblige grotesqueness. sent8: the anthracite is not a Achaean if that it is not vacuolate and it is not a Crusader is not correct. ; $proof$ = 
void -> assump1: Let's assume that that the anthracite is not vacuolate and it is not a Crusader is not correct.; sent8 & assump1 -> int1: the anthracite is not Achaean.; int1 & sent3 -> int2: the grimoire is not a washhouse and not a Achaean.; int2 -> int3: the grimoire is not a Achaean.; int3 & sent2 -> int4: that the cardinalfish is not a Achaean and it is not Glaswegian is not correct.; sent1 -> int5: the cardinalfish is not a kind of a Achaean and it is not a kind of a Glaswegian if it disobliges grotesqueness.; sent7 & sent4 -> int6: the cardinalfish does disoblige grotesqueness.; int5 & int6 -> int7: the cardinalfish is not a Achaean and it is not a Glaswegian.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the anthracite is not vacuolate and is not a Crusader.; int9 -> int10: there is something such that it is not vacuolate and it is not a Crusader.; int10 & sent5 -> hypothesis; __DISPROVED__