the gastrin does spread Seriphus and spreads nitroglycerin if the torero is not a smothered.
sent1: The Seriphus does spread gastrin. sent2: the gastrin is not non-aneroid. sent3: something is a aneroid. sent4: if the ammonite is a kind of an idealist then the gastrin does spread nitroglycerin. sent5: there is something such that the fact that either it is not a pair or it is a kind of a factorial or both is false. sent6: there is something such that either it is not aneroid or it does respect easel or both. sent7: the fact that the fact that the torero is a Indra is correct if there is something such that that it is not a aneroid and/or it respects easel is not correct is right. sent8: the torero does spread Seriphus. sent9: if something that is not a smothered is a Indra then it is geophytic. sent10: if there exists something such that that either it does not spread Seriphus or it is a Indra or both is not true the gastrin smothers. sent11: the gastrin does spread Seriphus. sent12: there is something such that that it is not a aneroid and/or it does respect easel does not hold. sent13: the gastrin spreads Seriphus and does spread nitroglycerin if that the torero is a smothered is correct. sent14: the torero is geophytic if it is a smothered that is a kind of a Indra. sent15: there is something such that it does not respect easel. sent16: there is something such that that it is not non-aneroid and/or it does respect easel is false. sent17: if something that does smother is a Indra it is geophytic. sent18: if the torero is geophytic then the fact that the ammonite is an idealist is not wrong. sent19: the easel does respect paraffin and it does spread Seriphus.
sent12 & sent7 -> int1: the torero is a kind of a Indra.; void -> assump1: Let's assume that the torero is not a smothered.; int1 & assump1 -> int2: the torero is not a smothered but it is a Indra.; sent9 -> int3: the torero is geophytic if it does not smother and is a Indra.; int2 & int3 -> int4: the torero is geophytic.; int4 & sent18 -> int5: the ammonite is an idealist.; int5 & sent4 -> int6: the gastrin spreads nitroglycerin.; int6 & sent11 -> int7: the gastrin does spread Seriphus and it does spread nitroglycerin.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the gastrin does spread Seriphus and spreads nitroglycerin if the torero is not a smothered. ; $context$ = sent1: The Seriphus does spread gastrin. sent2: the gastrin is not non-aneroid. sent3: something is a aneroid. sent4: if the ammonite is a kind of an idealist then the gastrin does spread nitroglycerin. sent5: there is something such that the fact that either it is not a pair or it is a kind of a factorial or both is false. sent6: there is something such that either it is not aneroid or it does respect easel or both. sent7: the fact that the fact that the torero is a Indra is correct if there is something such that that it is not a aneroid and/or it respects easel is not correct is right. sent8: the torero does spread Seriphus. sent9: if something that is not a smothered is a Indra then it is geophytic. sent10: if there exists something such that that either it does not spread Seriphus or it is a Indra or both is not true the gastrin smothers. sent11: the gastrin does spread Seriphus. sent12: there is something such that that it is not a aneroid and/or it does respect easel does not hold. sent13: the gastrin spreads Seriphus and does spread nitroglycerin if that the torero is a smothered is correct. sent14: the torero is geophytic if it is a smothered that is a kind of a Indra. sent15: there is something such that it does not respect easel. sent16: there is something such that that it is not non-aneroid and/or it does respect easel is false. sent17: if something that does smother is a Indra it is geophytic. sent18: if the torero is geophytic then the fact that the ammonite is an idealist is not wrong. sent19: the easel does respect paraffin and it does spread Seriphus. ; $proof$ = 
sent12 & sent7 -> int1: the torero is a kind of a Indra.; void -> assump1: Let's assume that the torero is not a smothered.; int1 & assump1 -> int2: the torero is not a smothered but it is a Indra.; sent9 -> int3: the torero is geophytic if it does not smother and is a Indra.; int2 & int3 -> int4: the torero is geophytic.; int4 & sent18 -> int5: the ammonite is an idealist.; int5 & sent4 -> int6: the gastrin spreads nitroglycerin.; int6 & sent11 -> int7: the gastrin does spread Seriphus and it does spread nitroglycerin.; [assump1] & int7 -> hypothesis; __PROVED__