the spectrometer is both non-Masoretic and creative.
sent1: the spectrometer does crow choo-choo. sent2: something is not a pruno if the fact that it is both not Masoretic and not uncreative is false. sent3: if the spectrometer does crow choo-choo then it is operable. sent4: the midstream is operable. sent5: if something does mummify Talinum then it is not anoperineal. sent6: an operable thing is a pruno. sent7: the fact that something is not a chalcedony and not a nephrotomy is wrong if it is not operable. sent8: the spectrometer is not a pruno if it is uncreative. sent9: The choo-choo does crow spectrometer.
sent2 -> int1: the spectrometer is not a pruno if the fact that it is not Masoretic and it is not uncreative does not hold.; void -> assump1: Let's assume that that the spectrometer is not Masoretic and is not uncreative is incorrect.; int1 & assump1 -> int2: the spectrometer is not a pruno.; sent6 -> int3: the spectrometer is a pruno if it is operable.; sent3 & sent1 -> int4: the spectrometer is operable.; int3 & int4 -> int5: the spectrometer is a kind of a pruno.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the fact that the choo-choo is not a chalcedony and not a nephrotomy is wrong.
sent7 -> int7: the fact that the choo-choo is not a chalcedony and is not a nephrotomy is not correct if it is not operable.;
$hypothesis$ = the spectrometer is both non-Masoretic and creative. ; $context$ = sent1: the spectrometer does crow choo-choo. sent2: something is not a pruno if the fact that it is both not Masoretic and not uncreative is false. sent3: if the spectrometer does crow choo-choo then it is operable. sent4: the midstream is operable. sent5: if something does mummify Talinum then it is not anoperineal. sent6: an operable thing is a pruno. sent7: the fact that something is not a chalcedony and not a nephrotomy is wrong if it is not operable. sent8: the spectrometer is not a pruno if it is uncreative. sent9: The choo-choo does crow spectrometer. ; $proof$ = 
sent2 -> int1: the spectrometer is not a pruno if the fact that it is not Masoretic and it is not uncreative does not hold.; void -> assump1: Let's assume that that the spectrometer is not Masoretic and is not uncreative is incorrect.; int1 & assump1 -> int2: the spectrometer is not a pruno.; sent6 -> int3: the spectrometer is a pruno if it is operable.; sent3 & sent1 -> int4: the spectrometer is operable.; int3 & int4 -> int5: the spectrometer is a kind of a pruno.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__