if the myrmidon does collar fiftieth then the hydroxychloroquine is not a maxi.
sent1: there exists something such that it is not non-squared. sent2: there is something such that it collars fiftieth. sent3: the hydroxychloroquine is not a kind of a squared. sent4: the hydroxychloroquine does not collar fiftieth if the myrmidon is a maxi. sent5: the myrmidon does square. sent6: something that does not collar fiftieth is squared and a maxi. sent7: the ozokerite is not a kind of a squared. sent8: either the myrmidon is maxi or it is a squared or both. sent9: there exists something such that it is a parakeet. sent10: there exists something such that it is a commutability. sent11: if that something rifles and collars fiftieth is false then it does not collars fiftieth. sent12: if something is a kind of a squared and/or it does collar fiftieth then the hydroxychloroquine is not maxi. sent13: the pieta does not collar fiftieth.
void -> assump1: Let's assume that the myrmidon collars fiftieth.; assump1 -> int1: the myrmidon is a squared and/or does collar fiftieth.; int1 -> int2: there is something such that either it squares or it collars fiftieth or both.; int2 & sent12 -> int3: the hydroxychloroquine is not a kind of a maxi.; [assump1] & int3 -> hypothesis;
the cauliflower is a kind of a fertilization or is not non-maxi or both.
sent11 -> int4: if the fact that the myrmidon is a rifle that does collar fiftieth is incorrect it does not collar fiftieth.; sent6 -> int5: if the fact that the myrmidon does not collar fiftieth is not incorrect it is a squared and it is a maxi.;
$hypothesis$ = if the myrmidon does collar fiftieth then the hydroxychloroquine is not a maxi. ; $context$ = sent1: there exists something such that it is not non-squared. sent2: there is something such that it collars fiftieth. sent3: the hydroxychloroquine is not a kind of a squared. sent4: the hydroxychloroquine does not collar fiftieth if the myrmidon is a maxi. sent5: the myrmidon does square. sent6: something that does not collar fiftieth is squared and a maxi. sent7: the ozokerite is not a kind of a squared. sent8: either the myrmidon is maxi or it is a squared or both. sent9: there exists something such that it is a parakeet. sent10: there exists something such that it is a commutability. sent11: if that something rifles and collars fiftieth is false then it does not collars fiftieth. sent12: if something is a kind of a squared and/or it does collar fiftieth then the hydroxychloroquine is not maxi. sent13: the pieta does not collar fiftieth. ; $proof$ = 
void -> assump1: Let's assume that the myrmidon collars fiftieth.; assump1 -> int1: the myrmidon is a squared and/or does collar fiftieth.; int1 -> int2: there is something such that either it squares or it collars fiftieth or both.; int2 & sent12 -> int3: the hydroxychloroquine is not a kind of a maxi.; [assump1] & int3 -> hypothesis; __PROVED__