the bracken does chomp Anasa and it is a kind of a jugular.
sent1: the resonator is a film if the whitethroat does not baffle and it is not ratlike. sent2: the whitethroat is both not a baffling and not ratlike if it does not bed-hop. sent3: the whitethroat is not blastocoelic if that it is conspicuous and is not a prostate is not right. sent4: if something that does chomp phobia is not a kind of a Riesman the resonator is a rum. sent5: the bracken is not non-prostate and is ungregarious. sent6: the bracken does chomp Anasa and is ungregarious. sent7: that that the whitethroat is conspicuous and is not a prostate does not hold is not incorrect. sent8: the bracken is a kind of a jugular if there is something such that that it is both a film and a rum hold. sent9: something does not bed-hop if it is not blastocoelic. sent10: if the whitethroat is not ungregarious it is not a kind of a baffling. sent11: there exists something such that it does chomp phobia and is not a Riesman.
sent3 & sent7 -> int1: the whitethroat is not blastocoelic.; sent9 -> int2: if the whitethroat is not blastocoelic then it does not bed-hop.; int1 & int2 -> int3: the whitethroat does not bed-hop.; int3 & sent2 -> int4: the whitethroat is not a baffling and it is non-ratlike.; int4 & sent1 -> int5: the resonator does film.; sent11 & sent4 -> int6: the resonator is a rum.; int5 & int6 -> int7: the resonator films and it is a rum.; int7 -> int8: something is a kind of a film and is a rum.; int8 & sent8 -> int9: the bracken is a jugular.; sent6 -> int10: the bracken does chomp Anasa.; int9 & int10 -> hypothesis;
$hypothesis$ = the bracken does chomp Anasa and it is a kind of a jugular. ; $context$ = sent1: the resonator is a film if the whitethroat does not baffle and it is not ratlike. sent2: the whitethroat is both not a baffling and not ratlike if it does not bed-hop. sent3: the whitethroat is not blastocoelic if that it is conspicuous and is not a prostate is not right. sent4: if something that does chomp phobia is not a kind of a Riesman the resonator is a rum. sent5: the bracken is not non-prostate and is ungregarious. sent6: the bracken does chomp Anasa and is ungregarious. sent7: that that the whitethroat is conspicuous and is not a prostate does not hold is not incorrect. sent8: the bracken is a kind of a jugular if there is something such that that it is both a film and a rum hold. sent9: something does not bed-hop if it is not blastocoelic. sent10: if the whitethroat is not ungregarious it is not a kind of a baffling. sent11: there exists something such that it does chomp phobia and is not a Riesman. ; $proof$ = 
sent3 & sent7 -> int1: the whitethroat is not blastocoelic.; sent9 -> int2: if the whitethroat is not blastocoelic then it does not bed-hop.; int1 & int2 -> int3: the whitethroat does not bed-hop.; int3 & sent2 -> int4: the whitethroat is not a baffling and it is non-ratlike.; int4 & sent1 -> int5: the resonator does film.; sent11 & sent4 -> int6: the resonator is a rum.; int5 & int6 -> int7: the resonator films and it is a rum.; int7 -> int8: something is a kind of a film and is a rum.; int8 & sent8 -> int9: the bracken is a jugular.; sent6 -> int10: the bracken does chomp Anasa.; int9 & int10 -> hypothesis; __PROVED__