the Arapaho is a saccule.
sent1: if the soleus is a metatarsal then that the monomer does pique demonstration is correct. sent2: the spectator is not a kind of a pulasan if the fact that it is a pulasan and does not pique Madison is wrong. sent3: the sphecoid is not a bine if there is something such that the fact that it is a saltbush and it is not an expressway is wrong. sent4: the soleus is not a eudemon and/or it is metatarsal if something does not pique demonstration. sent5: something is a kind of a metatarsal if that either it is not a eudemon or it is metatarsal or both hold. sent6: the spectator is not perithelial. sent7: the monomer is a kind of a eudemon. sent8: if that the spectator is not perithelial is right then that it is a kind of a pulasan that does not pique Madison does not hold. sent9: everything is metatarsal and it is a eudemon. sent10: the soleus is anoperineal. sent11: the soleus does pique demonstration if the monomer is a metatarsal. sent12: something does not pique demonstration if that it is not a Volapuk or is normal or both is false. sent13: the Arapaho is a eudemon and is reparable. sent14: that something either is not a Volapuk or is normal or both does not hold if it is not a bine. sent15: the Arapaho is a kind of a saccule if the soleus piques demonstration. sent16: that something is a saltbush but it is not an expressway is not right if it is not a pulasan. sent17: the soleus is a saccule. sent18: the soleus is a saccule if the Arapaho does pique demonstration. sent19: the partygoer is a metatarsal. sent20: the Arapaho is a eudemon. sent21: everything is a eudemon.
sent9 -> int1: the monomer is metatarsal a eudemon.; int1 -> int2: the monomer is a metatarsal.; sent11 & int2 -> int3: the soleus does pique demonstration.; sent15 & int3 -> hypothesis;
the Arapaho is not a saccule.
sent5 -> int4: if the soleus is not a eudemon or is a metatarsal or both it is a kind of a metatarsal.; sent12 -> int5: the sphecoid does not pique demonstration if the fact that either it is not a Volapuk or it is normal or both is false.; sent14 -> int6: if the sphecoid is not a bine then that it is not a kind of a Volapuk and/or is normal is wrong.; sent16 -> int7: if the spectator is not a pulasan that it is a saltbush and it is not an expressway is wrong.; sent8 & sent6 -> int8: the fact that the spectator is a pulasan and does not pique Madison is not correct.; sent2 & int8 -> int9: the spectator is not a pulasan.; int7 & int9 -> int10: that the spectator is both a saltbush and not an expressway is not right.; int10 -> int11: there exists something such that the fact that it is a saltbush and it is not an expressway is incorrect.; int11 & sent3 -> int12: the sphecoid is not a bine.; int6 & int12 -> int13: the fact that the sphecoid is not a Volapuk and/or it is normal is not correct.; int5 & int13 -> int14: the sphecoid does not pique demonstration.; int14 -> int15: there is something such that it does not pique demonstration.; int15 & sent4 -> int16: the soleus is not a eudemon or is metatarsal or both.; int4 & int16 -> int17: the soleus is a kind of a metatarsal.; int17 -> int18: there exists something such that it is a kind of a metatarsal.;
$hypothesis$ = the Arapaho is a saccule. ; $context$ = sent1: if the soleus is a metatarsal then that the monomer does pique demonstration is correct. sent2: the spectator is not a kind of a pulasan if the fact that it is a pulasan and does not pique Madison is wrong. sent3: the sphecoid is not a bine if there is something such that the fact that it is a saltbush and it is not an expressway is wrong. sent4: the soleus is not a eudemon and/or it is metatarsal if something does not pique demonstration. sent5: something is a kind of a metatarsal if that either it is not a eudemon or it is metatarsal or both hold. sent6: the spectator is not perithelial. sent7: the monomer is a kind of a eudemon. sent8: if that the spectator is not perithelial is right then that it is a kind of a pulasan that does not pique Madison does not hold. sent9: everything is metatarsal and it is a eudemon. sent10: the soleus is anoperineal. sent11: the soleus does pique demonstration if the monomer is a metatarsal. sent12: something does not pique demonstration if that it is not a Volapuk or is normal or both is false. sent13: the Arapaho is a eudemon and is reparable. sent14: that something either is not a Volapuk or is normal or both does not hold if it is not a bine. sent15: the Arapaho is a kind of a saccule if the soleus piques demonstration. sent16: that something is a saltbush but it is not an expressway is not right if it is not a pulasan. sent17: the soleus is a saccule. sent18: the soleus is a saccule if the Arapaho does pique demonstration. sent19: the partygoer is a metatarsal. sent20: the Arapaho is a eudemon. sent21: everything is a eudemon. ; $proof$ = 
sent9 -> int1: the monomer is metatarsal a eudemon.; int1 -> int2: the monomer is a metatarsal.; sent11 & int2 -> int3: the soleus does pique demonstration.; sent15 & int3 -> hypothesis; __PROVED__