the basophil is reasonable thing that does prepare IOL.
sent1: that either the obelisk does scissor basophil or it is a Untermeyer or both is not right. sent2: the obelisk is a kind of an optometry. sent3: if that the obelisk compromises Salvadoran or it does scissor basophil or both does not hold then the basophil is not a Untermeyer. sent4: the koumiss does not compromise Salvadoran. sent5: if the fact that the basophil compromises Salvadoran and/or it does scissor basophil does not hold then the obelisk is not a kind of a Untermeyer. sent6: the basophil does prepare IOL. sent7: the centerboard does compromise Salvadoran. sent8: if the basophil is not a Untermeyer that it is reasonable is not wrong. sent9: the obelisk is reasonable. sent10: the obelisk does prepare IOL. sent11: the basophil does scissor magistracy and is ungenerous. sent12: The IOL does prepare basophil. sent13: the obelisk is not a crock. sent14: the lutetium does prepare IOL. sent15: that the basophil does prepare IOL hold if it does not scissor basophil. sent16: the fact that the obelisk compromises Salvadoran and/or does scissor basophil is incorrect. sent17: the basophil is not non-blastocoelic. sent18: the bathtub is a Untermeyer. sent19: the obelisk does not scissor basophil.
sent3 & sent16 -> int1: the basophil is not a Untermeyer.; int1 & sent8 -> int2: the basophil is reasonable.; int2 & sent6 -> hypothesis;
$hypothesis$ = the basophil is reasonable thing that does prepare IOL. ; $context$ = sent1: that either the obelisk does scissor basophil or it is a Untermeyer or both is not right. sent2: the obelisk is a kind of an optometry. sent3: if that the obelisk compromises Salvadoran or it does scissor basophil or both does not hold then the basophil is not a Untermeyer. sent4: the koumiss does not compromise Salvadoran. sent5: if the fact that the basophil compromises Salvadoran and/or it does scissor basophil does not hold then the obelisk is not a kind of a Untermeyer. sent6: the basophil does prepare IOL. sent7: the centerboard does compromise Salvadoran. sent8: if the basophil is not a Untermeyer that it is reasonable is not wrong. sent9: the obelisk is reasonable. sent10: the obelisk does prepare IOL. sent11: the basophil does scissor magistracy and is ungenerous. sent12: The IOL does prepare basophil. sent13: the obelisk is not a crock. sent14: the lutetium does prepare IOL. sent15: that the basophil does prepare IOL hold if it does not scissor basophil. sent16: the fact that the obelisk compromises Salvadoran and/or does scissor basophil is incorrect. sent17: the basophil is not non-blastocoelic. sent18: the bathtub is a Untermeyer. sent19: the obelisk does not scissor basophil. ; $proof$ = 
sent3 & sent16 -> int1: the basophil is not a Untermeyer.; int1 & sent8 -> int2: the basophil is reasonable.; int2 & sent6 -> hypothesis; __PROVED__