the isoagglutinin is not a kind of a citation.
sent1: if the Fox is not a kind of a Chartist then that the patroness is not secretarial hold. sent2: if the peahen is a Shreveport then that the instillation does lather AEC but it is not a kind of a musk does not hold. sent3: the fact that the isoagglutinin does not frolic and/or it lathers canecutter is incorrect if that the autacoid is not a kind of a firetrap hold. sent4: if something is not a lapsed and it does not denaturalize bromoform it is not a club. sent5: if that something either does not frolic or lathers canecutter or both does not hold it is not a citation. sent6: that the Fox is not a airmailer and does not denaturalize Urocyon is not right. sent7: the isoagglutinin is a citation if the Fox is secretarial. sent8: the autacoid is not a firetrap if that that the instillation lathers AEC and is not a kind of a musk does not hold hold. sent9: the Fox is not a kind of a Chartist if the fact that it is not a airmailer and does not denaturalize Urocyon is not correct. sent10: the patroness is not a lapsed and does not denaturalize bromoform if the fact that the liar is a kind of a rounded is correct. sent11: the liar is rounded. sent12: the peahen is a kind of a Shreveport if the patroness is non-secretarial thing that does not club.
sent9 & sent6 -> int1: the Fox is not a kind of a Chartist.; int1 & sent1 -> int2: the patroness is not secretarial.; sent4 -> int3: the patroness is not a club if it does not lapse and does not denaturalize bromoform.; sent10 & sent11 -> int4: the patroness is not a lapsed and does not denaturalize bromoform.; int3 & int4 -> int5: the patroness is not a club.; int2 & int5 -> int6: the patroness is non-secretarial thing that does not club.; int6 & sent12 -> int7: the peahen is a Shreveport.; int7 & sent2 -> int8: the fact that the instillation lathers AEC and is not a kind of a musk is not true.; int8 & sent8 -> int9: the autacoid is not a firetrap.; int9 & sent3 -> int10: that the isoagglutinin either does not frolic or lathers canecutter or both is false.; sent5 -> int11: the fact that the isoagglutinin is not the citation if that the isoagglutinin does not frolic and/or it does lather canecutter is not true hold.; int10 & int11 -> hypothesis;
the isoagglutinin is a citation.
$hypothesis$ = the isoagglutinin is not a kind of a citation. ; $context$ = sent1: if the Fox is not a kind of a Chartist then that the patroness is not secretarial hold. sent2: if the peahen is a Shreveport then that the instillation does lather AEC but it is not a kind of a musk does not hold. sent3: the fact that the isoagglutinin does not frolic and/or it lathers canecutter is incorrect if that the autacoid is not a kind of a firetrap hold. sent4: if something is not a lapsed and it does not denaturalize bromoform it is not a club. sent5: if that something either does not frolic or lathers canecutter or both does not hold it is not a citation. sent6: that the Fox is not a airmailer and does not denaturalize Urocyon is not right. sent7: the isoagglutinin is a citation if the Fox is secretarial. sent8: the autacoid is not a firetrap if that that the instillation lathers AEC and is not a kind of a musk does not hold hold. sent9: the Fox is not a kind of a Chartist if the fact that it is not a airmailer and does not denaturalize Urocyon is not correct. sent10: the patroness is not a lapsed and does not denaturalize bromoform if the fact that the liar is a kind of a rounded is correct. sent11: the liar is rounded. sent12: the peahen is a kind of a Shreveport if the patroness is non-secretarial thing that does not club. ; $proof$ = 
sent9 & sent6 -> int1: the Fox is not a kind of a Chartist.; int1 & sent1 -> int2: the patroness is not secretarial.; sent4 -> int3: the patroness is not a club if it does not lapse and does not denaturalize bromoform.; sent10 & sent11 -> int4: the patroness is not a lapsed and does not denaturalize bromoform.; int3 & int4 -> int5: the patroness is not a club.; int2 & int5 -> int6: the patroness is non-secretarial thing that does not club.; int6 & sent12 -> int7: the peahen is a Shreveport.; int7 & sent2 -> int8: the fact that the instillation lathers AEC and is not a kind of a musk is not true.; int8 & sent8 -> int9: the autacoid is not a firetrap.; int9 & sent3 -> int10: that the isoagglutinin either does not frolic or lathers canecutter or both is false.; sent5 -> int11: the fact that the isoagglutinin is not the citation if that the isoagglutinin does not frolic and/or it does lather canecutter is not true hold.; int10 & int11 -> hypothesis; __PROVED__