the Kansas is not a Arianism.
sent1: if there is something such that it does not congratulate bearskin the plainclothesman either does not congratulate bearskin or does not overrefine bachelor or both. sent2: the plainclothesman does congratulate skirt if it is non-aptitudinal thing that is a SSA. sent3: there is something such that it is not hypercatalectic. sent4: if there is something such that it forages or is not a kind of a deactivation or both then the cartographer forages. sent5: if there exists something such that the fact that it is a kind of a hypercatalectic and/or does page regicide is not correct then the Kansas is not a kind of a train. sent6: if the plainclothesman does not congratulate bearskin and is a kind of a cathedral then the divinity is not a cathedral. sent7: something does not page regicide. sent8: something does not lather if it does forage. sent9: if something does not train then that it is not a Arianism is not incorrect. sent10: if there is something such that that it is a Arianism and/or it does train is false the Kansas does not page regicide. sent11: something is a hypercatalectic or it does page regicide or both. sent12: something is cathedral if it congratulates skirt. sent13: the boothose is a sympathy. sent14: the plainclothesman is non-aptitudinal but it is a SSA. sent15: if something either does not congratulate bearskin or does not overrefine bachelor or both it does not congratulate bearskin. sent16: the fact that that the regicide is a kind of a hypercatalectic and/or it pages regicide hold is not correct. sent17: something is not a spinmeister if it does not page fixation. sent18: the boothose does not congratulate bearskin or it is chemotherapeutic or both if it is a sympathy. sent19: either the bioweapon does forage or it is not a deactivation or both if the divinity is not cathedral. sent20: the regicide does not page regicide. sent21: if the boothose does not congratulate bearskin and/or is chemotherapeutic then the sandpiper does not congratulate bearskin.
sent16 -> int1: there exists something such that the fact that it is a hypercatalectic and/or does page regicide does not hold.; int1 & sent5 -> int2: the Kansas is not a train.; sent9 -> int3: if that the Kansas does not train is not incorrect then the fact that it is not a Arianism is not wrong.; int2 & int3 -> hypothesis;
the Kansas is a Arianism.
sent8 -> int4: that the cartographer is a kind of a lather does not hold if it forages.; sent15 -> int5: the plainclothesman does not congratulate bearskin if it does not congratulate bearskin and/or does not overrefine bachelor.; sent18 & sent13 -> int6: the boothose does not congratulate bearskin or is chemotherapeutic or both.; sent21 & int6 -> int7: the sandpiper does not congratulate bearskin.; int7 -> int8: there exists something such that it does not congratulate bearskin.; int8 & sent1 -> int9: either the plainclothesman does not congratulate bearskin or it does not overrefine bachelor or both.; int5 & int9 -> int10: the fact that the plainclothesman does not congratulate bearskin is not false.; sent12 -> int11: if the plainclothesman does congratulate skirt then it is a cathedral.; sent2 & sent14 -> int12: the plainclothesman does congratulate skirt.; int11 & int12 -> int13: the plainclothesman is a cathedral.; int10 & int13 -> int14: the plainclothesman does not congratulate bearskin but it is cathedral.; sent6 & int14 -> int15: that the divinity is not a cathedral is right.; sent19 & int15 -> int16: the bioweapon does forage or it is not a kind of a deactivation or both.; int16 -> int17: either something forages or it is not a deactivation or both.; int17 & sent4 -> int18: the cartographer forages.; int4 & int18 -> int19: the fact that the cartographer is not a lather is not wrong.; int19 -> int20: something does not lather.;
$hypothesis$ = the Kansas is not a Arianism. ; $context$ = sent1: if there is something such that it does not congratulate bearskin the plainclothesman either does not congratulate bearskin or does not overrefine bachelor or both. sent2: the plainclothesman does congratulate skirt if it is non-aptitudinal thing that is a SSA. sent3: there is something such that it is not hypercatalectic. sent4: if there is something such that it forages or is not a kind of a deactivation or both then the cartographer forages. sent5: if there exists something such that the fact that it is a kind of a hypercatalectic and/or does page regicide is not correct then the Kansas is not a kind of a train. sent6: if the plainclothesman does not congratulate bearskin and is a kind of a cathedral then the divinity is not a cathedral. sent7: something does not page regicide. sent8: something does not lather if it does forage. sent9: if something does not train then that it is not a Arianism is not incorrect. sent10: if there is something such that that it is a Arianism and/or it does train is false the Kansas does not page regicide. sent11: something is a hypercatalectic or it does page regicide or both. sent12: something is cathedral if it congratulates skirt. sent13: the boothose is a sympathy. sent14: the plainclothesman is non-aptitudinal but it is a SSA. sent15: if something either does not congratulate bearskin or does not overrefine bachelor or both it does not congratulate bearskin. sent16: the fact that that the regicide is a kind of a hypercatalectic and/or it pages regicide hold is not correct. sent17: something is not a spinmeister if it does not page fixation. sent18: the boothose does not congratulate bearskin or it is chemotherapeutic or both if it is a sympathy. sent19: either the bioweapon does forage or it is not a deactivation or both if the divinity is not cathedral. sent20: the regicide does not page regicide. sent21: if the boothose does not congratulate bearskin and/or is chemotherapeutic then the sandpiper does not congratulate bearskin. ; $proof$ = 
sent16 -> int1: there exists something such that the fact that it is a hypercatalectic and/or does page regicide does not hold.; int1 & sent5 -> int2: the Kansas is not a train.; sent9 -> int3: if that the Kansas does not train is not incorrect then the fact that it is not a Arianism is not wrong.; int2 & int3 -> hypothesis; __PROVED__