if the quietist is not logical then the spectrometer either is not evergreen or is not a chloropicrin or both.
sent1: if something is logical it is a chloropicrin. sent2: the retiree is a kind of a chloropicrin. sent3: the spectrometer is not evergreen and/or it is a kind of a chloropicrin if the quietist is not logical. sent4: the stepbrother is not evergreen. sent5: that the spectrometer is not logical is not wrong. sent6: if the quietist is not a kind of a chloropicrin the spectrometer is logical and/or it is not an evergreen. sent7: something does revenge bottlenose if it is a duchy. sent8: if the quietist is logical then it is evergreen. sent9: the infanticide is not a kind of a chloropicrin. sent10: something that is not logical is not non-evergreen. sent11: if the spectrometer is not an evergreen the quietist is a chloropicrin and/or not logical. sent12: the quietist is a kind of a chloropicrin. sent13: either the quietist is a chloropicrin or it is not an evergreen or both. sent14: that the spectrometer is not an evergreen and/or it is not a chloropicrin is true if the quietist is an evergreen. sent15: if the spectrometer is not an evergreen then the quietist is logical and/or it is not a kind of a chloropicrin. sent16: the quietist is logical or it does not silence or both. sent17: if the spectrometer is not logical the fact that it is an evergreen is true. sent18: the quietist is logical and/or is not a kind of a chloropicrin if the spectrometer is logical.
sent10 -> int1: the quietist is an evergreen if that it is not logical is not wrong.; void -> assump1: Let's assume that the quietist is not logical.; int1 & assump1 -> int2: the quietist is an evergreen.; int2 & sent14 -> int3: the spectrometer either is non-evergreen or is not a chloropicrin or both.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the quietist is not logical then the spectrometer either is not evergreen or is not a chloropicrin or both. ; $context$ = sent1: if something is logical it is a chloropicrin. sent2: the retiree is a kind of a chloropicrin. sent3: the spectrometer is not evergreen and/or it is a kind of a chloropicrin if the quietist is not logical. sent4: the stepbrother is not evergreen. sent5: that the spectrometer is not logical is not wrong. sent6: if the quietist is not a kind of a chloropicrin the spectrometer is logical and/or it is not an evergreen. sent7: something does revenge bottlenose if it is a duchy. sent8: if the quietist is logical then it is evergreen. sent9: the infanticide is not a kind of a chloropicrin. sent10: something that is not logical is not non-evergreen. sent11: if the spectrometer is not an evergreen the quietist is a chloropicrin and/or not logical. sent12: the quietist is a kind of a chloropicrin. sent13: either the quietist is a chloropicrin or it is not an evergreen or both. sent14: that the spectrometer is not an evergreen and/or it is not a chloropicrin is true if the quietist is an evergreen. sent15: if the spectrometer is not an evergreen then the quietist is logical and/or it is not a kind of a chloropicrin. sent16: the quietist is logical or it does not silence or both. sent17: if the spectrometer is not logical the fact that it is an evergreen is true. sent18: the quietist is logical and/or is not a kind of a chloropicrin if the spectrometer is logical. ; $proof$ = 
sent10 -> int1: the quietist is an evergreen if that it is not logical is not wrong.; void -> assump1: Let's assume that the quietist is not logical.; int1 & assump1 -> int2: the quietist is an evergreen.; int2 & sent14 -> int3: the spectrometer either is non-evergreen or is not a chloropicrin or both.; [assump1] & int3 -> hypothesis; __PROVED__