the nilgai does not inundate barred.
sent1: the homer governs pademelon and it does inundate barred. sent2: the pistillode is not a Townsend and does fudge capitalism. sent3: the pistillode does not fudge capitalism if the homer is a deservingness. sent4: the toehold is not a worrier or it is not a Orr or both. sent5: if the toehold is not a kind of a Orr the homer does not fudge homer. sent6: if the pistillode is not a worrier the toehold is not a Townsend. sent7: the homer is not a kind of a worrier. sent8: if the pistillode is a Townsend or it is a deservingness or both then the nilgai does not inundate barred. sent9: if that something is not a Orr and is not a worrier is not true then it does inundate barred. sent10: the homer does not fudge homer if the toehold is not a worrier. sent11: if something that does not fudge homer fudges capitalism the pistillode is a deservingness. sent12: if that something is not a kind of a Orr and does not govern pademelon is wrong then it govern pademelon. sent13: the pistillode fudges capitalism. sent14: there is something such that the fact that it does not govern pademelon and it fudges homer hold. sent15: if something does fudge homer that it is not a kind of a Orr and it is not a worrier is incorrect. sent16: there exists something such that it is not a deservingness. sent17: if the toehold fudges capitalism then the nilgai does fudge homer. sent18: the homer does govern pademelon and fudges capitalism. sent19: the pistillode is not a worrier.
sent4 & sent10 & sent5 -> int1: that the homer does not fudge homer is true.; sent18 -> int2: that the homer does fudge capitalism is true.; int1 & int2 -> int3: the homer does not fudge homer and does fudge capitalism.; int3 -> int4: something does not fudge homer and does fudge capitalism.; int4 & sent11 -> int5: the pistillode is a deservingness.; int5 -> int6: either the pistillode is a Townsend or it is a deservingness or both.; int6 & sent8 -> hypothesis;
the pistillode does govern pademelon.
sent12 -> int7: the pistillode does govern pademelon if that it is not a kind of a Orr and does not govern pademelon is wrong.;
$hypothesis$ = the nilgai does not inundate barred. ; $context$ = sent1: the homer governs pademelon and it does inundate barred. sent2: the pistillode is not a Townsend and does fudge capitalism. sent3: the pistillode does not fudge capitalism if the homer is a deservingness. sent4: the toehold is not a worrier or it is not a Orr or both. sent5: if the toehold is not a kind of a Orr the homer does not fudge homer. sent6: if the pistillode is not a worrier the toehold is not a Townsend. sent7: the homer is not a kind of a worrier. sent8: if the pistillode is a Townsend or it is a deservingness or both then the nilgai does not inundate barred. sent9: if that something is not a Orr and is not a worrier is not true then it does inundate barred. sent10: the homer does not fudge homer if the toehold is not a worrier. sent11: if something that does not fudge homer fudges capitalism the pistillode is a deservingness. sent12: if that something is not a kind of a Orr and does not govern pademelon is wrong then it govern pademelon. sent13: the pistillode fudges capitalism. sent14: there is something such that the fact that it does not govern pademelon and it fudges homer hold. sent15: if something does fudge homer that it is not a kind of a Orr and it is not a worrier is incorrect. sent16: there exists something such that it is not a deservingness. sent17: if the toehold fudges capitalism then the nilgai does fudge homer. sent18: the homer does govern pademelon and fudges capitalism. sent19: the pistillode is not a worrier. ; $proof$ = 
sent4 & sent10 & sent5 -> int1: that the homer does not fudge homer is true.; sent18 -> int2: that the homer does fudge capitalism is true.; int1 & int2 -> int3: the homer does not fudge homer and does fudge capitalism.; int3 -> int4: something does not fudge homer and does fudge capitalism.; int4 & sent11 -> int5: the pistillode is a deservingness.; int5 -> int6: either the pistillode is a Townsend or it is a deservingness or both.; int6 & sent8 -> hypothesis; __PROVED__