the fact that the sporozoite does not surpass hold.
sent1: the fact that the triskelion does not cream gentamicin and it does not enfeoff dosemeter is wrong if the Reynard does not screw. sent2: the Utahan is not a kind of a Satyridae if that the dosemeter is leptorrhine hold. sent3: the fact that the Utahan is not leptorrhine and it is not a Satyridae is wrong. sent4: if something is not frivolous it does surpass and is a kind of a seated. sent5: the sporozoite is a torch and not a cougar if the gentamicin is a seated. sent6: something screws. sent7: the gentamicin is leptorrhine if there is something such that that it is not leptorrhine and is not a Satyridae does not hold. sent8: that the savoy is not a Satyridae but it is relative is wrong if the Utahan is not a Satyridae. sent9: if the dosemeter is a relative then the fact that it is not leptorrhine and not a Satyridae is not right. sent10: the gentamicin does not surpass. sent11: the dosemeter is a kind of a relative. sent12: if the gentamicin is frivolous but it is not a cougar the dosemeter is leptorrhine. sent13: if the fact that the fact that the savoy is not a Satyridae but it is a kind of a relative is false is not false that the Reynard is not a screw is right. sent14: if there exists something such that the fact that it does not cream gentamicin and it does not enfeoff dosemeter is false then the sporozoite does not surpass. sent15: something is a seated. sent16: the gentamicin is frivolous and not a cougar if something seats. sent17: the gentamicin is not leptorrhine if the dosemeter is a kind of leptorrhine thing that does screw.
sent15 & sent16 -> int1: the gentamicin is frivolous thing that is not a cougar.; int1 & sent12 -> int2: that the dosemeter is leptorrhine hold.; int2 & sent2 -> int3: the Utahan is not a kind of a Satyridae.; int3 & sent8 -> int4: the fact that the savoy is not a Satyridae and is a relative is not true.; int4 & sent13 -> int5: the Reynard is not a screw.; int5 & sent1 -> int6: the fact that the triskelion does not cream gentamicin and does not enfeoff dosemeter is not right.; int6 -> int7: there exists something such that the fact that it does not cream gentamicin and it does not enfeoff dosemeter is not right.; int7 & sent14 -> hypothesis;
the sporozoite does torch but it is not a cougar.
$hypothesis$ = the fact that the sporozoite does not surpass hold. ; $context$ = sent1: the fact that the triskelion does not cream gentamicin and it does not enfeoff dosemeter is wrong if the Reynard does not screw. sent2: the Utahan is not a kind of a Satyridae if that the dosemeter is leptorrhine hold. sent3: the fact that the Utahan is not leptorrhine and it is not a Satyridae is wrong. sent4: if something is not frivolous it does surpass and is a kind of a seated. sent5: the sporozoite is a torch and not a cougar if the gentamicin is a seated. sent6: something screws. sent7: the gentamicin is leptorrhine if there is something such that that it is not leptorrhine and is not a Satyridae does not hold. sent8: that the savoy is not a Satyridae but it is relative is wrong if the Utahan is not a Satyridae. sent9: if the dosemeter is a relative then the fact that it is not leptorrhine and not a Satyridae is not right. sent10: the gentamicin does not surpass. sent11: the dosemeter is a kind of a relative. sent12: if the gentamicin is frivolous but it is not a cougar the dosemeter is leptorrhine. sent13: if the fact that the fact that the savoy is not a Satyridae but it is a kind of a relative is false is not false that the Reynard is not a screw is right. sent14: if there exists something such that the fact that it does not cream gentamicin and it does not enfeoff dosemeter is false then the sporozoite does not surpass. sent15: something is a seated. sent16: the gentamicin is frivolous and not a cougar if something seats. sent17: the gentamicin is not leptorrhine if the dosemeter is a kind of leptorrhine thing that does screw. ; $proof$ = 
sent15 & sent16 -> int1: the gentamicin is frivolous thing that is not a cougar.; int1 & sent12 -> int2: that the dosemeter is leptorrhine hold.; int2 & sent2 -> int3: the Utahan is not a kind of a Satyridae.; int3 & sent8 -> int4: the fact that the savoy is not a Satyridae and is a relative is not true.; int4 & sent13 -> int5: the Reynard is not a screw.; int5 & sent1 -> int6: the fact that the triskelion does not cream gentamicin and does not enfeoff dosemeter is not right.; int6 -> int7: there exists something such that the fact that it does not cream gentamicin and it does not enfeoff dosemeter is not right.; int7 & sent14 -> hypothesis; __PROVED__