there exists something such that if it is bionics and/or does not fool imperiousness it is not flinty.
sent1: if something is persistent or it does not crank device or both then it is a RCMP. sent2: if something is Gallican and/or is not a short then it is not a snips. sent3: there exists something such that if it is bionics it is not flinty. sent4: if something is bionics or it does not fool imperiousness or both then that it is not flinty is not false. sent5: there is something such that if it is bionics and/or fools imperiousness it is not flinty. sent6: if something is unsusceptible and/or it is not a hysterectomy the fact that it is nonunion is not false. sent7: if either the nondevelopment is a Fossa or it is not a kind of a Zeno or both it is flinty. sent8: the nondevelopment is not flinty if it does not fool imperiousness. sent9: if the nondevelopment fools imperiousness or is not a hometown or both then the fact that it does indurate hold. sent10: if something is neolithic and/or it does not spend then it is not persistent. sent11: something that is persistent and/or is not unmanageable fools countrywoman.
sent4 -> int1: if the nondevelopment is bionics or does not fool imperiousness or both it is not flinty.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is bionics and/or does not fool imperiousness it is not flinty. ; $context$ = sent1: if something is persistent or it does not crank device or both then it is a RCMP. sent2: if something is Gallican and/or is not a short then it is not a snips. sent3: there exists something such that if it is bionics it is not flinty. sent4: if something is bionics or it does not fool imperiousness or both then that it is not flinty is not false. sent5: there is something such that if it is bionics and/or fools imperiousness it is not flinty. sent6: if something is unsusceptible and/or it is not a hysterectomy the fact that it is nonunion is not false. sent7: if either the nondevelopment is a Fossa or it is not a kind of a Zeno or both it is flinty. sent8: the nondevelopment is not flinty if it does not fool imperiousness. sent9: if the nondevelopment fools imperiousness or is not a hometown or both then the fact that it does indurate hold. sent10: if something is neolithic and/or it does not spend then it is not persistent. sent11: something that is persistent and/or is not unmanageable fools countrywoman. ; $proof$ = 
sent4 -> int1: if the nondevelopment is bionics or does not fool imperiousness or both it is not flinty.; int1 -> hypothesis; __PROVED__