the fact that the bullfighter expectorates hold.
sent1: if that the bullfighter is not anagogic is not false the hectograph does not expectorate and it is not a kind of a Romneya. sent2: if the bullfighter does settle fascism the fact that the fact that it is not catabolic and it is amaranthine is true is false. sent3: there is something such that it is not Amharic. sent4: if something does not emblazon jawed and settles acquittance then it does not expectorate. sent5: the hectograph is a spruce. sent6: the fact that something is both a Romneya and amaranthine is incorrect if it is not anagogic. sent7: if something that is a Amharic does not emblazon jawed then the fact that the landowner does settle acquittance is not incorrect. sent8: if that the bullfighter is a Romneya and it is amaranthine is not true then the fact that it is not a Romneya is right. sent9: if that the bullfighter is non-catabolic but it is amaranthine is not correct it is not anagogic. sent10: if the fact that something does emblazon jawed and/or it settles acquittance is true then the bullfighter expectorates. sent11: the bullfighter expectorates if something does emblazon jawed. sent12: the landowner does revenge Ariana but it is not a Amharic. sent13: if something that does revenge Ariana is a Amharic then the hectograph does settle acquittance. sent14: if something does revenge Ariana and is not Amharic then the hectograph settles acquittance. sent15: the landowner is not a Amharic. sent16: something that is not a Romneya does not emblazon jawed and settles acquittance.
sent12 -> int1: something does revenge Ariana but it is not a Amharic.; int1 & sent14 -> int2: the hectograph settles acquittance.; int2 -> int3: the hectograph emblazons jawed or it does settle acquittance or both.; int3 -> int4: there exists something such that it does emblazon jawed and/or does settle acquittance.; int4 & sent10 -> hypothesis;
the bullfighter does not expectorate.
sent4 -> int5: if the bullfighter does not emblazon jawed but it settles acquittance then it does not expectorate.; sent16 -> int6: if the bullfighter is not a Romneya then it does not emblazon jawed and it does settle acquittance.; sent6 -> int7: the fact that that the bullfighter is a Romneya and it is amaranthine is true is not right if it is not anagogic.;
$hypothesis$ = the fact that the bullfighter expectorates hold. ; $context$ = sent1: if that the bullfighter is not anagogic is not false the hectograph does not expectorate and it is not a kind of a Romneya. sent2: if the bullfighter does settle fascism the fact that the fact that it is not catabolic and it is amaranthine is true is false. sent3: there is something such that it is not Amharic. sent4: if something does not emblazon jawed and settles acquittance then it does not expectorate. sent5: the hectograph is a spruce. sent6: the fact that something is both a Romneya and amaranthine is incorrect if it is not anagogic. sent7: if something that is a Amharic does not emblazon jawed then the fact that the landowner does settle acquittance is not incorrect. sent8: if that the bullfighter is a Romneya and it is amaranthine is not true then the fact that it is not a Romneya is right. sent9: if that the bullfighter is non-catabolic but it is amaranthine is not correct it is not anagogic. sent10: if the fact that something does emblazon jawed and/or it settles acquittance is true then the bullfighter expectorates. sent11: the bullfighter expectorates if something does emblazon jawed. sent12: the landowner does revenge Ariana but it is not a Amharic. sent13: if something that does revenge Ariana is a Amharic then the hectograph does settle acquittance. sent14: if something does revenge Ariana and is not Amharic then the hectograph settles acquittance. sent15: the landowner is not a Amharic. sent16: something that is not a Romneya does not emblazon jawed and settles acquittance. ; $proof$ = 
sent12 -> int1: something does revenge Ariana but it is not a Amharic.; int1 & sent14 -> int2: the hectograph settles acquittance.; int2 -> int3: the hectograph emblazons jawed or it does settle acquittance or both.; int3 -> int4: there exists something such that it does emblazon jawed and/or does settle acquittance.; int4 & sent10 -> hypothesis; __PROVED__