there exists something such that it does contribute and it is a silverfish.
sent1: if that something is both a syndicate and a Oriental does not hold then it is not calorimetric. sent2: there is something such that that it is a kind of electoral thing that reflectorizes Pushan is wrong. sent3: if the Nanticoke is not Thracian then the snag is isotopic and is loamless. sent4: the Nanticoke does comfort Holly. sent5: if something is not audio-lingual then that it syndicates and it is a kind of a Oriental is false. sent6: if the Nanticoke does comfort Holly then it is biblical. sent7: the whiff is not appellate if the kok-saghyz is appellate but it is not a kind of a frilled. sent8: something does not contribute and it is not a silverfish if it is not appellate. sent9: something is gutsy and draws curator. sent10: if there exists something such that it is isotopic then the combustion is audio-lingual. sent11: if the combustion is audio-lingual the kok-saghyz is not audio-lingual. sent12: the fact that the silverbush is a cullis and it is a guestroom hold if the whiff does not contribute. sent13: something is appellate but it is not a frilled if it is not calorimetric. sent14: the Nanticoke either is not a kind of a Thracian or is not exoteric or both if it is biblical. sent15: if there exists something such that that it is a Cameroonian that does contribute is not right then the peridium is susceptible. sent16: if there exists something such that the fact that it is electoral and reflectorizes Pushan is not correct the silverbush does contribute. sent17: there exists something such that it is calorimetric and it draws cordon. sent18: something that is either not Thracian or not exoteric or both is not a kind of a Thracian.
sent2 & sent16 -> int1: the silverbush does contribute.;
something is a cullis and it is a guestroom.
sent8 -> int2: if the whiff is not appellate then it does not contribute and is not a silverfish.; sent13 -> int3: the kok-saghyz is a kind of appellate thing that is not a frilled if it is not calorimetric.; sent1 -> int4: if that the kok-saghyz does syndicate and it is a Oriental is not true it is not calorimetric.; sent5 -> int5: if the kok-saghyz is not audio-lingual then that it is both a syndicate and a Oriental is wrong.; sent18 -> int6: the Nanticoke is not Thracian if it is not a Thracian or it is not exoteric or both.; sent6 & sent4 -> int7: that the Nanticoke is not biblical is incorrect.; sent14 & int7 -> int8: the Nanticoke is not a kind of a Thracian or is not exoteric or both.; int6 & int8 -> int9: the Nanticoke is not Thracian.; sent3 & int9 -> int10: the snag is isotopic and it is loamless.; int10 -> int11: the snag is isotopic.; int11 -> int12: there are isotopic things.; int12 & sent10 -> int13: that the combustion is audio-lingual is true.; sent11 & int13 -> int14: the fact that the kok-saghyz is not audio-lingual hold.; int5 & int14 -> int15: the fact that the kok-saghyz is a syndicate and it is a kind of a Oriental is wrong.; int4 & int15 -> int16: the kok-saghyz is not calorimetric.; int3 & int16 -> int17: the kok-saghyz is appellate but it is not a frilled.; sent7 & int17 -> int18: the whiff is not appellate.; int2 & int18 -> int19: the whiff does not contribute and it is not a silverfish.; int19 -> int20: the whiff does not contribute.; sent12 & int20 -> int21: the silverbush is a cullis and is a kind of a guestroom.; int21 -> hypothesis;
$hypothesis$ = there exists something such that it does contribute and it is a silverfish. ; $context$ = sent1: if that something is both a syndicate and a Oriental does not hold then it is not calorimetric. sent2: there is something such that that it is a kind of electoral thing that reflectorizes Pushan is wrong. sent3: if the Nanticoke is not Thracian then the snag is isotopic and is loamless. sent4: the Nanticoke does comfort Holly. sent5: if something is not audio-lingual then that it syndicates and it is a kind of a Oriental is false. sent6: if the Nanticoke does comfort Holly then it is biblical. sent7: the whiff is not appellate if the kok-saghyz is appellate but it is not a kind of a frilled. sent8: something does not contribute and it is not a silverfish if it is not appellate. sent9: something is gutsy and draws curator. sent10: if there exists something such that it is isotopic then the combustion is audio-lingual. sent11: if the combustion is audio-lingual the kok-saghyz is not audio-lingual. sent12: the fact that the silverbush is a cullis and it is a guestroom hold if the whiff does not contribute. sent13: something is appellate but it is not a frilled if it is not calorimetric. sent14: the Nanticoke either is not a kind of a Thracian or is not exoteric or both if it is biblical. sent15: if there exists something such that that it is a Cameroonian that does contribute is not right then the peridium is susceptible. sent16: if there exists something such that the fact that it is electoral and reflectorizes Pushan is not correct the silverbush does contribute. sent17: there exists something such that it is calorimetric and it draws cordon. sent18: something that is either not Thracian or not exoteric or both is not a kind of a Thracian. ; $proof$ = 
sent2 & sent16 -> int1: the silverbush does contribute.; __UNKNOWN__