if the methicillin is algoid the incubation is ascitic.
sent1: the councilman galls mothball. sent2: the incubation does not redeploy Vivaldi and/or jets Prionace if the methicillin does redeploy Vivaldi. sent3: the methicillin is ascitic. sent4: if something does not redeploy Vivaldi and/or it does jet Prionace it is ascitic. sent5: if the incubation milks the methicillin is algoid. sent6: the fact that the methicillin galls mothball and/or is not a milk is not right. sent7: the methicillin is not a neoclassicist if the fact that either it jets Prionace or it does board distention or both is false. sent8: the incubation does not redeploy Vivaldi if that it is algoid and/or it does not gall mothball is wrong. sent9: if the methicillin does not redeploy Vivaldi but it is not non-algoid it is receptive. sent10: something is ascitic if it jets Prionace. sent11: the methicillin is cognitive. sent12: the methicillin is not receptive if the fact that it galls mothball and/or it is not a milk is not true. sent13: the methicillin is a kind of a heartsease. sent14: if the incubation is ascitic the methicillin is not ascitic and/or it galls mothball. sent15: if that the methicillin galls mothball or it is a milk or both is not correct then it is not receptive. sent16: something is a milk if it is receptive. sent17: the methicillin is not non-Corsican. sent18: the staysail does not habit and is pedal.
void -> assump1: Let's assume that the methicillin does not redeploy Vivaldi.; void -> assump2: Let's assume that the methicillin is algoid.; assump1 & assump2 -> int1: the methicillin does not redeploy Vivaldi but it is algoid.; int1 & sent9 -> int2: the methicillin is receptive.; sent12 & sent6 -> int3: the methicillin is not receptive.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the methicillin redeploys Vivaldi.; int5 & sent2 -> int6: the incubation does not redeploy Vivaldi or jets Prionace or both.; sent4 -> int7: the fact that the incubation is ascitic is correct if it does not redeploy Vivaldi or does jet Prionace or both.; int6 & int7 -> int8: the incubation is ascitic.; [assump2] & int8 -> hypothesis;
$hypothesis$ = if the methicillin is algoid the incubation is ascitic. ; $context$ = sent1: the councilman galls mothball. sent2: the incubation does not redeploy Vivaldi and/or jets Prionace if the methicillin does redeploy Vivaldi. sent3: the methicillin is ascitic. sent4: if something does not redeploy Vivaldi and/or it does jet Prionace it is ascitic. sent5: if the incubation milks the methicillin is algoid. sent6: the fact that the methicillin galls mothball and/or is not a milk is not right. sent7: the methicillin is not a neoclassicist if the fact that either it jets Prionace or it does board distention or both is false. sent8: the incubation does not redeploy Vivaldi if that it is algoid and/or it does not gall mothball is wrong. sent9: if the methicillin does not redeploy Vivaldi but it is not non-algoid it is receptive. sent10: something is ascitic if it jets Prionace. sent11: the methicillin is cognitive. sent12: the methicillin is not receptive if the fact that it galls mothball and/or it is not a milk is not true. sent13: the methicillin is a kind of a heartsease. sent14: if the incubation is ascitic the methicillin is not ascitic and/or it galls mothball. sent15: if that the methicillin galls mothball or it is a milk or both is not correct then it is not receptive. sent16: something is a milk if it is receptive. sent17: the methicillin is not non-Corsican. sent18: the staysail does not habit and is pedal. ; $proof$ = 
void -> assump1: Let's assume that the methicillin does not redeploy Vivaldi.; void -> assump2: Let's assume that the methicillin is algoid.; assump1 & assump2 -> int1: the methicillin does not redeploy Vivaldi but it is algoid.; int1 & sent9 -> int2: the methicillin is receptive.; sent12 & sent6 -> int3: the methicillin is not receptive.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the methicillin redeploys Vivaldi.; int5 & sent2 -> int6: the incubation does not redeploy Vivaldi or jets Prionace or both.; sent4 -> int7: the fact that the incubation is ascitic is correct if it does not redeploy Vivaldi or does jet Prionace or both.; int6 & int7 -> int8: the incubation is ascitic.; [assump2] & int8 -> hypothesis; __PROVED__