the dukedom leaches counterproposal.
sent1: if something does riot Fourier it does leach counterproposal. sent2: if the prospector does corn the dukedom leaches counterproposal. sent3: if something exempts it corns. sent4: the fountainhead is not Masonic if something that is not a Galilean is neurogenic. sent5: if the fact that something is both not a corned and not exempt is incorrect it does not deviate inhumaneness. sent6: if a Galilean thing is neurogenic the fountainhead is not Masonic. sent7: the prospector does exempt if the mince does not deviate inhumaneness and does leach thumbhole. sent8: if the fact that the football does not deviate inhumaneness is not false the fountainhead is a kind of Masonic thing that does leach thumbhole. sent9: if the football does not leach thumbhole the fact that the mince leach thumbhole hold. sent10: the football does not leach thumbhole if somethings are not Masonic. sent11: there is something such that the fact that it is not a Galilean and is neurogenic is correct. sent12: the fact that something does not corn and it is not exempt does not hold if it does leach counterproposal. sent13: the mince does not deviate inhumaneness but it leaches thumbhole if the football does not leaches thumbhole. sent14: if the football does not deviate inhumaneness then the fountainhead is a kind of Masonic thing that does not leach thumbhole. sent15: the autoantibody is not neurogenic if something is Masonic thing that does leach thumbhole.
sent11 & sent4 -> int1: the fountainhead is not Masonic.; int1 -> int2: there is something such that the fact that it is non-Masonic is not false.; int2 & sent10 -> int3: the fact that the football does not leach thumbhole is not incorrect.; int3 & sent13 -> int4: the mince does not deviate inhumaneness and leaches thumbhole.; int4 & sent7 -> int5: the prospector is not nonexempt.; sent3 -> int6: the prospector is a corned if it does exempt.; int5 & int6 -> int7: the prospector corns.; int7 & sent2 -> hypothesis;
the autoantibody is not neurogenic.
sent5 -> int8: the football does not deviate inhumaneness if that it is not a corned and it is not exempt is incorrect.; sent12 -> int9: that that the football is not a corned and does not exempt is not true hold if it does leach counterproposal.; sent1 -> int10: the football does leach counterproposal if it riots Fourier.;
$hypothesis$ = the dukedom leaches counterproposal. ; $context$ = sent1: if something does riot Fourier it does leach counterproposal. sent2: if the prospector does corn the dukedom leaches counterproposal. sent3: if something exempts it corns. sent4: the fountainhead is not Masonic if something that is not a Galilean is neurogenic. sent5: if the fact that something is both not a corned and not exempt is incorrect it does not deviate inhumaneness. sent6: if a Galilean thing is neurogenic the fountainhead is not Masonic. sent7: the prospector does exempt if the mince does not deviate inhumaneness and does leach thumbhole. sent8: if the fact that the football does not deviate inhumaneness is not false the fountainhead is a kind of Masonic thing that does leach thumbhole. sent9: if the football does not leach thumbhole the fact that the mince leach thumbhole hold. sent10: the football does not leach thumbhole if somethings are not Masonic. sent11: there is something such that the fact that it is not a Galilean and is neurogenic is correct. sent12: the fact that something does not corn and it is not exempt does not hold if it does leach counterproposal. sent13: the mince does not deviate inhumaneness but it leaches thumbhole if the football does not leaches thumbhole. sent14: if the football does not deviate inhumaneness then the fountainhead is a kind of Masonic thing that does not leach thumbhole. sent15: the autoantibody is not neurogenic if something is Masonic thing that does leach thumbhole. ; $proof$ = 
sent11 & sent4 -> int1: the fountainhead is not Masonic.; int1 -> int2: there is something such that the fact that it is non-Masonic is not false.; int2 & sent10 -> int3: the fact that the football does not leach thumbhole is not incorrect.; int3 & sent13 -> int4: the mince does not deviate inhumaneness and leaches thumbhole.; int4 & sent7 -> int5: the prospector is not nonexempt.; sent3 -> int6: the prospector is a corned if it does exempt.; int5 & int6 -> int7: the prospector corns.; int7 & sent2 -> hypothesis; __PROVED__