the hellion is worst thing that is an authorization.
sent1: the fact that something is a prawn but it does not worst is incorrect if that it is modifiable is not false. sent2: the jug is a Omaha. sent3: the jug is not a prawn and not a aptness. sent4: the mirror is modifiable. sent5: if something is a Omaha that it does not snow overindulgence and is not unquestionable does not hold. sent6: if the jug does not shock and is a aptness then the C does not prawn. sent7: if the jug is not a shock and it is not a aptness the C is not a prawn. sent8: the C is not a kind of a abelia if there is something such that it is a kind of a Jeffersonian. sent9: if the hellion is not a worst then the jug is not a kind of a aptness. sent10: if the C does not prawn then the mirror is not modifiable. sent11: the mirror is a kind of a Jeffersonian. sent12: the cotyledon is cenobitic and it is a archaist. sent13: if that something does not snow pluralization and does subtract individualist is not right it does snow pluralization. sent14: the mirror does encircle jug. sent15: something snows run if the fact that it does not snow overindulgence and it is not unquestionable is wrong. sent16: the jug is not a aptness. sent17: that the fact that something is a kind of worst thing that is an authorization is false if the fact that it is not a prawn hold hold. sent18: the hellion does not prawn if the jug snows run and is modifiable. sent19: if the hellion does not worst then the jug is both not a shock and not a aptness. sent20: if the C is not a abelia the fact that it does not snow pluralization and subtracts individualist does not hold. sent21: the hellion is a kind of an authorization.
void -> assump1: Let's assume that the hellion is not a kind of a worst.; sent19 & assump1 -> int1: the jug is not a kind of a shock and it is not a aptness.; int1 & sent7 -> int2: the C does not prawn.; int2 & sent10 -> int3: that the mirror is not modifiable is correct.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hellion is a kind of a worst.; int5 & sent21 -> hypothesis;
that the hellion is both not non-worst and an authorization is wrong.
sent17 -> int6: that the hellion is both worst and an authorization is not correct if it is not a prawn.; sent15 -> int7: the jug snows run if the fact that it does not snow overindulgence and is not unquestionable does not hold.; sent5 -> int8: the fact that the jug does not snow overindulgence and is not unquestionable is not right if it is a kind of a Omaha.; int8 & sent2 -> int9: the fact that the jug does not snow overindulgence and is not unquestionable does not hold.; int7 & int9 -> int10: the jug snows run.; sent13 -> int11: if that that the C does not snow pluralization and subtracts individualist is not incorrect does not hold then the fact that it snow pluralization hold.; sent11 -> int12: there are Jeffersonian things.; int12 & sent8 -> int13: the C is not a abelia.; sent20 & int13 -> int14: the fact that the C does not snow pluralization but it subtracts individualist is false.; int11 & int14 -> int15: the C does snow pluralization.; int15 -> int16: there is something such that it snows pluralization.;
$hypothesis$ = the hellion is worst thing that is an authorization. ; $context$ = sent1: the fact that something is a prawn but it does not worst is incorrect if that it is modifiable is not false. sent2: the jug is a Omaha. sent3: the jug is not a prawn and not a aptness. sent4: the mirror is modifiable. sent5: if something is a Omaha that it does not snow overindulgence and is not unquestionable does not hold. sent6: if the jug does not shock and is a aptness then the C does not prawn. sent7: if the jug is not a shock and it is not a aptness the C is not a prawn. sent8: the C is not a kind of a abelia if there is something such that it is a kind of a Jeffersonian. sent9: if the hellion is not a worst then the jug is not a kind of a aptness. sent10: if the C does not prawn then the mirror is not modifiable. sent11: the mirror is a kind of a Jeffersonian. sent12: the cotyledon is cenobitic and it is a archaist. sent13: if that something does not snow pluralization and does subtract individualist is not right it does snow pluralization. sent14: the mirror does encircle jug. sent15: something snows run if the fact that it does not snow overindulgence and it is not unquestionable is wrong. sent16: the jug is not a aptness. sent17: that the fact that something is a kind of worst thing that is an authorization is false if the fact that it is not a prawn hold hold. sent18: the hellion does not prawn if the jug snows run and is modifiable. sent19: if the hellion does not worst then the jug is both not a shock and not a aptness. sent20: if the C is not a abelia the fact that it does not snow pluralization and subtracts individualist does not hold. sent21: the hellion is a kind of an authorization. ; $proof$ = 
void -> assump1: Let's assume that the hellion is not a kind of a worst.; sent19 & assump1 -> int1: the jug is not a kind of a shock and it is not a aptness.; int1 & sent7 -> int2: the C does not prawn.; int2 & sent10 -> int3: that the mirror is not modifiable is correct.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hellion is a kind of a worst.; int5 & sent21 -> hypothesis; __PROVED__