the fact that the prophyll ferments snowflake and uploads lathi is not correct.
sent1: if there is something such that it is consonantal either the adornment is a kind of a 1760s or it is an inspiration or both. sent2: the prophyll is consonantal if it is a corker. sent3: if the adornment is not a 1760s then it does upload perfumed. sent4: if there is something such that it is consonantal the adornment is not a 1760s and/or it is an inspiration. sent5: something does upload perfumed if it is not a 1760s. sent6: if the adornment is not a corker then that the prophyll does ferment snowflake and it uploads lathi is not correct. sent7: if the styrene is a baseball then it does not upload perfumed and is starchless. sent8: the styrene is starchless. sent9: if the fact that something is a kind of starchless thing that does not upload perfumed does not hold then it is a kind of a 1760s. sent10: the prophyll does ferment snowflake. sent11: the styrene is a baseball. sent12: if the adornment uploads perfumed then the fact that the styrene does not uploads perfumed but it is starchless is false. sent13: if the styrene is a baseball it is starchless. sent14: either the adornment is a 1760s or it is an inspiration or both. sent15: the prophyll ferments snowflake if that it is not a corker is correct. sent16: the fact that the fact that something is consonantal thing that is not an inspiration hold is incorrect if it is a 1760s. sent17: something uploads perfumed if it is not a 1760s or it is an inspiration or both. sent18: if something is not a corker then the fact that it ferments snowflake is not incorrect. sent19: if something is not a corker then it does ferment snowflake and does upload lathi.
void -> assump1: Let's assume that the prophyll is a kind of a corker.; sent2 & assump1 -> int1: the prophyll is not non-consonantal.; int1 -> int2: something is consonantal.; int2 & sent4 -> int3: the adornment is not a 1760s or it is a kind of an inspiration or both.; sent17 -> int4: if the adornment is not a 1760s and/or is an inspiration then it does upload perfumed.; int3 & int4 -> int5: the adornment uploads perfumed.; int5 & sent12 -> int6: the fact that the styrene does not upload perfumed but it is starchless is wrong.; sent7 & sent11 -> int7: the styrene does not upload perfumed but it is starchless.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the prophyll is not a corker.; sent19 -> int10: the prophyll does ferment snowflake and it does upload lathi if it is not a corker.; int9 & int10 -> hypothesis;
the fact that the prophyll does ferment snowflake and uploads lathi is not true.
sent16 -> int11: the fact that the styrene is consonantal and is not a kind of an inspiration does not hold if it is a 1760s.; sent9 -> int12: if that the styrene is a kind of starchless thing that does not upload perfumed is false then it is a kind of a 1760s.;
$hypothesis$ = the fact that the prophyll ferments snowflake and uploads lathi is not correct. ; $context$ = sent1: if there is something such that it is consonantal either the adornment is a kind of a 1760s or it is an inspiration or both. sent2: the prophyll is consonantal if it is a corker. sent3: if the adornment is not a 1760s then it does upload perfumed. sent4: if there is something such that it is consonantal the adornment is not a 1760s and/or it is an inspiration. sent5: something does upload perfumed if it is not a 1760s. sent6: if the adornment is not a corker then that the prophyll does ferment snowflake and it uploads lathi is not correct. sent7: if the styrene is a baseball then it does not upload perfumed and is starchless. sent8: the styrene is starchless. sent9: if the fact that something is a kind of starchless thing that does not upload perfumed does not hold then it is a kind of a 1760s. sent10: the prophyll does ferment snowflake. sent11: the styrene is a baseball. sent12: if the adornment uploads perfumed then the fact that the styrene does not uploads perfumed but it is starchless is false. sent13: if the styrene is a baseball it is starchless. sent14: either the adornment is a 1760s or it is an inspiration or both. sent15: the prophyll ferments snowflake if that it is not a corker is correct. sent16: the fact that the fact that something is consonantal thing that is not an inspiration hold is incorrect if it is a 1760s. sent17: something uploads perfumed if it is not a 1760s or it is an inspiration or both. sent18: if something is not a corker then the fact that it ferments snowflake is not incorrect. sent19: if something is not a corker then it does ferment snowflake and does upload lathi. ; $proof$ = 
void -> assump1: Let's assume that the prophyll is a kind of a corker.; sent2 & assump1 -> int1: the prophyll is not non-consonantal.; int1 -> int2: something is consonantal.; int2 & sent4 -> int3: the adornment is not a 1760s or it is a kind of an inspiration or both.; sent17 -> int4: if the adornment is not a 1760s and/or is an inspiration then it does upload perfumed.; int3 & int4 -> int5: the adornment uploads perfumed.; int5 & sent12 -> int6: the fact that the styrene does not upload perfumed but it is starchless is wrong.; sent7 & sent11 -> int7: the styrene does not upload perfumed but it is starchless.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the prophyll is not a corker.; sent19 -> int10: the prophyll does ferment snowflake and it does upload lathi if it is not a corker.; int9 & int10 -> hypothesis; __DISPROVED__