the mind is not a fingerstall and is not a kind of a collimator.
sent1: there exists something such that the fact that it is not a kind of a whitetail and does not trap is false. sent2: the yeoman is not an ethylene if it is a metallurgist and not a cane. sent3: the imam dwarfs Lyra if the yeoman does dwarfs Lyra but it is not monolingual. sent4: the yeoman does dwarf Lyra but it is not a monolingual. sent5: the mind is not a kind of a collimator if either the yeoman is a collimator or it does uplift flatware or both. sent6: something is a revisionism or not a metallurgist or both if it does dwarf Lyra. sent7: something is not compatible if that it is a kind of a cane and it is compatible does not hold. sent8: that something is not a fingerstall and is not a kind of a collimator is false if it does uplift pedestrian. sent9: that something does cane and is not incompatible is wrong if it is not an ethylene. sent10: that the imam is not compatible and it does not uplift pedestrian is not right if the hangman does not uplift pedestrian. sent11: the yeoman is a metallurgist but not a cane. sent12: if that the imam is not compatible and it does not uplift pedestrian is not right then the fact that the mind is not a kind of a fingerstall hold. sent13: the fact that the mind does not uplift pedestrian and uplifts flatware is not correct if the hangman is not compatible. sent14: something is a collimator and/or does uplift flatware if it is not a kind of an ethylene. sent15: if there is something such that the fact that it is not a whitetail and is not a trap does not hold then the hangman does not uplift pedestrian. sent16: if the fact that something does not uplift pedestrian and uplifts flatware is not correct it does uplift pedestrian.
sent1 & sent15 -> int1: the hangman does not uplift pedestrian.; int1 & sent10 -> int2: the fact that the imam is not compatible and it does not uplift pedestrian is incorrect.; int2 & sent12 -> int3: the mind is not a fingerstall.; sent14 -> int4: the yeoman is a collimator or it does uplift flatware or both if that it is not an ethylene hold.; sent2 & sent11 -> int5: the yeoman is not an ethylene.; int4 & int5 -> int6: the yeoman is a collimator or it uplifts flatware or both.; sent5 & int6 -> int7: the mind is not a collimator.; int3 & int7 -> hypothesis;
the fact that the mind is both not a fingerstall and not a collimator is not true.
sent8 -> int8: if the mind uplifts pedestrian that it is not a fingerstall and not a collimator does not hold.; sent16 -> int9: if the fact that the mind does not uplift pedestrian and does uplift flatware does not hold then it does uplift pedestrian.; sent7 -> int10: if the fact that the hangman is a cane that is compatible does not hold it is not compatible.; sent9 -> int11: if the hangman is not a kind of an ethylene then that it is a kind of a cane that is compatible is not right.; sent6 -> int12: either the imam is a revisionism or it is not a metallurgist or both if that it does dwarf Lyra is not incorrect.; sent3 & sent4 -> int13: the fact that the imam does dwarf Lyra is not incorrect.; int12 & int13 -> int14: the imam is a revisionism or it is not a metallurgist or both.;
$hypothesis$ = the mind is not a fingerstall and is not a kind of a collimator. ; $context$ = sent1: there exists something such that the fact that it is not a kind of a whitetail and does not trap is false. sent2: the yeoman is not an ethylene if it is a metallurgist and not a cane. sent3: the imam dwarfs Lyra if the yeoman does dwarfs Lyra but it is not monolingual. sent4: the yeoman does dwarf Lyra but it is not a monolingual. sent5: the mind is not a kind of a collimator if either the yeoman is a collimator or it does uplift flatware or both. sent6: something is a revisionism or not a metallurgist or both if it does dwarf Lyra. sent7: something is not compatible if that it is a kind of a cane and it is compatible does not hold. sent8: that something is not a fingerstall and is not a kind of a collimator is false if it does uplift pedestrian. sent9: that something does cane and is not incompatible is wrong if it is not an ethylene. sent10: that the imam is not compatible and it does not uplift pedestrian is not right if the hangman does not uplift pedestrian. sent11: the yeoman is a metallurgist but not a cane. sent12: if that the imam is not compatible and it does not uplift pedestrian is not right then the fact that the mind is not a kind of a fingerstall hold. sent13: the fact that the mind does not uplift pedestrian and uplifts flatware is not correct if the hangman is not compatible. sent14: something is a collimator and/or does uplift flatware if it is not a kind of an ethylene. sent15: if there is something such that the fact that it is not a whitetail and is not a trap does not hold then the hangman does not uplift pedestrian. sent16: if the fact that something does not uplift pedestrian and uplifts flatware is not correct it does uplift pedestrian. ; $proof$ = 
sent1 & sent15 -> int1: the hangman does not uplift pedestrian.; int1 & sent10 -> int2: the fact that the imam is not compatible and it does not uplift pedestrian is incorrect.; int2 & sent12 -> int3: the mind is not a fingerstall.; sent14 -> int4: the yeoman is a collimator or it does uplift flatware or both if that it is not an ethylene hold.; sent2 & sent11 -> int5: the yeoman is not an ethylene.; int4 & int5 -> int6: the yeoman is a collimator or it uplifts flatware or both.; sent5 & int6 -> int7: the mind is not a collimator.; int3 & int7 -> hypothesis; __PROVED__