the tolbutamide is a kind of a finnan.
sent1: if the eater is not a Sardinian then that the megasporangium is not Sardinian but a Khepera does not hold. sent2: that the cutworm is both theoretical and not synonymous does not hold. sent3: the eater is not Sardinian if the flatterer is a Lasiurus. sent4: if something is not synonymous then it is not a kind of a Sardinian and it is a Khepera. sent5: that the fact that the cutworm is not theoretical and it is not synonymous is false is true. sent6: if something is non-theoretical but it is synonymous it is not a Khepera. sent7: if the fact that the flatterer is not a Lasiurus is not false then the tolbutamide is not a finnan. sent8: if something is not a soapwort then it does not beam and it is a gap. sent9: if something is not synonymous then it is a Khepera. sent10: something is a finnan if it is not synonymous. sent11: if the eater is not a kind of a Sardinian then it is a Lasiurus. sent12: the fact that the cutworm is not theoretical but it is synonymous is wrong. sent13: the megasporangium is not synonymous if that the cutworm is not theoretical and it is not synonymous does not hold. sent14: the fact that something is a Lasiurus and it is Sardinian does not hold if it is not a Khepera.
void -> assump1: Let's assume that the flatterer is a Lasiurus.; sent3 & assump1 -> int1: the eater is not Sardinian.; int1 & sent1 -> int2: the fact that the megasporangium is not Sardinian but it is a Khepera is not correct.; sent4 -> int3: the megasporangium is not a kind of a Sardinian and is a Khepera if it is not synonymous.; sent13 & sent5 -> int4: the megasporangium is not synonymous.; int3 & int4 -> int5: that the megasporangium is not a Sardinian but it is a Khepera is not false.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the flatterer is not a Lasiurus is not incorrect.; int7 & sent7 -> hypothesis;
the tolbutamide is a kind of a finnan.
sent14 -> int8: if the fact that the flatterer is not a Khepera is true then that it is a kind of a Lasiurus and it is a Sardinian is not true.; sent6 -> int9: if the flatterer is not theoretical but it is synonymous it is not a kind of a Khepera.;
$hypothesis$ = the tolbutamide is a kind of a finnan. ; $context$ = sent1: if the eater is not a Sardinian then that the megasporangium is not Sardinian but a Khepera does not hold. sent2: that the cutworm is both theoretical and not synonymous does not hold. sent3: the eater is not Sardinian if the flatterer is a Lasiurus. sent4: if something is not synonymous then it is not a kind of a Sardinian and it is a Khepera. sent5: that the fact that the cutworm is not theoretical and it is not synonymous is false is true. sent6: if something is non-theoretical but it is synonymous it is not a Khepera. sent7: if the fact that the flatterer is not a Lasiurus is not false then the tolbutamide is not a finnan. sent8: if something is not a soapwort then it does not beam and it is a gap. sent9: if something is not synonymous then it is a Khepera. sent10: something is a finnan if it is not synonymous. sent11: if the eater is not a kind of a Sardinian then it is a Lasiurus. sent12: the fact that the cutworm is not theoretical but it is synonymous is wrong. sent13: the megasporangium is not synonymous if that the cutworm is not theoretical and it is not synonymous does not hold. sent14: the fact that something is a Lasiurus and it is Sardinian does not hold if it is not a Khepera. ; $proof$ = 
void -> assump1: Let's assume that the flatterer is a Lasiurus.; sent3 & assump1 -> int1: the eater is not Sardinian.; int1 & sent1 -> int2: the fact that the megasporangium is not Sardinian but it is a Khepera is not correct.; sent4 -> int3: the megasporangium is not a kind of a Sardinian and is a Khepera if it is not synonymous.; sent13 & sent5 -> int4: the megasporangium is not synonymous.; int3 & int4 -> int5: that the megasporangium is not a Sardinian but it is a Khepera is not false.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the flatterer is not a Lasiurus is not incorrect.; int7 & sent7 -> hypothesis; __DISPROVED__