the transference is a seamed.
sent1: the transference does seam if that the stream is a Mazama is true. sent2: either something does average cue or it is not a kind of a Honduran or both. sent3: there is something such that it does not overturn musicologist and it is not icosahedral. sent4: if there is something such that it does not average cue and/or it is not Honduran then the stream is a kind of a Mazama. sent5: something does not average cue and/or it is a Honduran. sent6: either the soymilk does not average cue or it is Honduran or both. sent7: the larcenist is not macrencephalic if something that does not overturn musicologist is not icosahedral. sent8: either the soymilk does not average cue or it is not a kind of a Honduran or both. sent9: if something is not a kind of a Honduran then the stream is a Mazama.
sent8 -> int1: there is something such that it does not average cue and/or it is not a Honduran.; int1 & sent4 -> int2: the stream is a Mazama.; sent1 & int2 -> hypothesis;
the transference is not a seamed.
sent3 & sent7 -> int3: the larcenist is not macrencephalic.; int3 -> int4: there are non-macrencephalic things.;
$hypothesis$ = the transference is a seamed. ; $context$ = sent1: the transference does seam if that the stream is a Mazama is true. sent2: either something does average cue or it is not a kind of a Honduran or both. sent3: there is something such that it does not overturn musicologist and it is not icosahedral. sent4: if there is something such that it does not average cue and/or it is not Honduran then the stream is a kind of a Mazama. sent5: something does not average cue and/or it is a Honduran. sent6: either the soymilk does not average cue or it is Honduran or both. sent7: the larcenist is not macrencephalic if something that does not overturn musicologist is not icosahedral. sent8: either the soymilk does not average cue or it is not a kind of a Honduran or both. sent9: if something is not a kind of a Honduran then the stream is a Mazama. ; $proof$ = 
sent8 -> int1: there is something such that it does not average cue and/or it is not a Honduran.; int1 & sent4 -> int2: the stream is a Mazama.; sent1 & int2 -> hypothesis; __PROVED__