there is something such that if it does rake hostile then it is not a BJS and it yodels.
sent1: if something is congruous then it is not a mimic but linear. sent2: there is something such that if it is an oak it does not rake suppressant and is a sable. sent3: if the emitter does rake hostile then it is not a kind of a BJS. sent4: something does not pleat detox but it does aberrate if it is carbocyclic. sent5: there is something such that if the fact that it does rake hostile is not incorrect it is not a BJS. sent6: if something is small-capitalization it does not rake Crichton and is fractional. sent7: the emitter is not a kind of a yodeling but it is a bagatelle if that it is uneasy is true. sent8: there exists something such that if it is a fun then it is not a effluvium and is constitutional. sent9: there is something such that if it does rake hostile it is a BJS and it does yodel. sent10: there is something such that if it does rake hostile it is a yodeling. sent11: something is not a kind of a BJS but it is a yodeling if it does rake hostile. sent12: if that the emitter is a Bukharin is right it is not a yodeling and is a smooth. sent13: if something is a supinator then it does not pleat photomicrograph and it is a Congolese.
sent11 -> int1: if the emitter rakes hostile then it is not a BJS and is a kind of a yodeling.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does rake hostile then it is not a BJS and it yodels. ; $context$ = sent1: if something is congruous then it is not a mimic but linear. sent2: there is something such that if it is an oak it does not rake suppressant and is a sable. sent3: if the emitter does rake hostile then it is not a kind of a BJS. sent4: something does not pleat detox but it does aberrate if it is carbocyclic. sent5: there is something such that if the fact that it does rake hostile is not incorrect it is not a BJS. sent6: if something is small-capitalization it does not rake Crichton and is fractional. sent7: the emitter is not a kind of a yodeling but it is a bagatelle if that it is uneasy is true. sent8: there exists something such that if it is a fun then it is not a effluvium and is constitutional. sent9: there is something such that if it does rake hostile it is a BJS and it does yodel. sent10: there is something such that if it does rake hostile it is a yodeling. sent11: something is not a kind of a BJS but it is a yodeling if it does rake hostile. sent12: if that the emitter is a Bukharin is right it is not a yodeling and is a smooth. sent13: if something is a supinator then it does not pleat photomicrograph and it is a Congolese. ; $proof$ = 
sent11 -> int1: if the emitter rakes hostile then it is not a BJS and is a kind of a yodeling.; int1 -> hypothesis; __PROVED__