that the arthrogram rendezvous thermometer and is not a Aragon does not hold.
sent1: that the arthrogram does rendezvous thermometer and is a Aragon is not correct. sent2: if that the basidium either is not allotropic or does not fry or both does not hold the sultana does not fry. sent3: that the peristyle is not isomeric is correct if that it is both not allotropic and Mosaic is not correct. sent4: if the peristyle is not isomeric that the arthrogram rendezvous thermometer and is not a kind of a Aragon is wrong. sent5: if the basidium is a Mosaic the fact that the peristyle is a kind of non-allotropic thing that is a kind of a Mosaic is not true. sent6: if the basidium is a kind of a Mosaic then the fact that the peristyle is not non-allotropic and not Mosaic does not hold. sent7: the fact that the peristyle rendezvous thermometer and is non-isomeric is false. sent8: if the pointillist is not a Mosaic and is isomeric then the peristyle is not Mosaic. sent9: if the sultana does fry then the basidium is a kind of a Mosaic. sent10: the sultana fries. sent11: the arthrogram does not fry if it is a samekh. sent12: the basidium does not fry. sent13: the basidium does not rendezvous thermometer if it is a Mosaic.
sent9 & sent10 -> int1: the basidium is a Mosaic.; int1 & sent5 -> int2: that the peristyle is not allotropic and is a Mosaic is incorrect.; int2 & sent3 -> int3: the peristyle is not isomeric.; int3 & sent4 -> hypothesis;
the arthrogram rendezvous thermometer but it is not a Aragon.
$hypothesis$ = that the arthrogram rendezvous thermometer and is not a Aragon does not hold. ; $context$ = sent1: that the arthrogram does rendezvous thermometer and is a Aragon is not correct. sent2: if that the basidium either is not allotropic or does not fry or both does not hold the sultana does not fry. sent3: that the peristyle is not isomeric is correct if that it is both not allotropic and Mosaic is not correct. sent4: if the peristyle is not isomeric that the arthrogram rendezvous thermometer and is not a kind of a Aragon is wrong. sent5: if the basidium is a Mosaic the fact that the peristyle is a kind of non-allotropic thing that is a kind of a Mosaic is not true. sent6: if the basidium is a kind of a Mosaic then the fact that the peristyle is not non-allotropic and not Mosaic does not hold. sent7: the fact that the peristyle rendezvous thermometer and is non-isomeric is false. sent8: if the pointillist is not a Mosaic and is isomeric then the peristyle is not Mosaic. sent9: if the sultana does fry then the basidium is a kind of a Mosaic. sent10: the sultana fries. sent11: the arthrogram does not fry if it is a samekh. sent12: the basidium does not fry. sent13: the basidium does not rendezvous thermometer if it is a Mosaic. ; $proof$ = 
sent9 & sent10 -> int1: the basidium is a Mosaic.; int1 & sent5 -> int2: that the peristyle is not allotropic and is a Mosaic is incorrect.; int2 & sent3 -> int3: the peristyle is not isomeric.; int3 & sent4 -> hypothesis; __PROVED__