there exists something such that it is a cancroid and it does confederate gangster.
sent1: if the signboard cascades remit it does confederate gangster. sent2: if something is a carangid it is a cancroid. sent3: something is not a dig if it is not senior. sent4: the signboard deactivates signboard. sent5: that the splicer is both senior and prescription does not hold if there exists something such that it is not a dig. sent6: the signboard cascades remit. sent7: if something is not a dig but a playsuit the fact that it is Pythagorean is correct. sent8: the signboard is a carangid if it is Pythagorean. sent9: something confederates gangster. sent10: The remit cascades signboard. sent11: the signboard does not dig if the fact that there exists something such that that it is Pythagorean and it is cancroid is incorrect hold. sent12: if the fact that something is not non-senior but it is not nonprescription is incorrect the fact that it is nonprescription hold. sent13: the signboard is a kind of a Tanzanian if it is unfrozen. sent14: that the stucco is a kind of a cancroid is not incorrect. sent15: there exists something such that that it is Pythagorean and is cancroid does not hold. sent16: something is a kind of a cancroid. sent17: if something is not a senior then it is not a kind of a dig and it is a playsuit. sent18: if the signboard does deactivate signboard and does deactivate propaedeutic it is not senior. sent19: that the signboard deactivates signboard and it deactivates propaedeutic is not false.
sent18 & sent19 -> int1: that the signboard is not a senior hold.; sent17 -> int2: the signboard is both not a dig and a playsuit if it is not a senior.; int1 & int2 -> int3: the signboard does not dig and is a playsuit.; sent7 -> int4: if the signboard does not dig and is a kind of a playsuit then it is Pythagorean.; int3 & int4 -> int5: the signboard is Pythagorean.; int5 & sent8 -> int6: the signboard is carangid.; sent2 -> int7: if the signboard is a kind of a carangid then it is cancroid.; int6 & int7 -> int8: the signboard is cancroid.; sent1 & sent6 -> int9: the signboard confederates gangster.; int8 & int9 -> int10: the signboard is a kind of a cancroid and does confederate gangster.; int10 -> hypothesis;
the splicer is nonprescription thing that confederates gangster.
sent12 -> int11: if that the splicer is senior but it is not nonprescription is incorrect then it is nonprescription.; sent15 & sent11 -> int12: the signboard does not dig.; int12 -> int13: there is something such that it does not dig.; int13 & sent5 -> int14: that the splicer is a senior but it is not nonprescription is not true.; int11 & int14 -> int15: the splicer is nonprescription.;
$hypothesis$ = there exists something such that it is a cancroid and it does confederate gangster. ; $context$ = sent1: if the signboard cascades remit it does confederate gangster. sent2: if something is a carangid it is a cancroid. sent3: something is not a dig if it is not senior. sent4: the signboard deactivates signboard. sent5: that the splicer is both senior and prescription does not hold if there exists something such that it is not a dig. sent6: the signboard cascades remit. sent7: if something is not a dig but a playsuit the fact that it is Pythagorean is correct. sent8: the signboard is a carangid if it is Pythagorean. sent9: something confederates gangster. sent10: The remit cascades signboard. sent11: the signboard does not dig if the fact that there exists something such that that it is Pythagorean and it is cancroid is incorrect hold. sent12: if the fact that something is not non-senior but it is not nonprescription is incorrect the fact that it is nonprescription hold. sent13: the signboard is a kind of a Tanzanian if it is unfrozen. sent14: that the stucco is a kind of a cancroid is not incorrect. sent15: there exists something such that that it is Pythagorean and is cancroid does not hold. sent16: something is a kind of a cancroid. sent17: if something is not a senior then it is not a kind of a dig and it is a playsuit. sent18: if the signboard does deactivate signboard and does deactivate propaedeutic it is not senior. sent19: that the signboard deactivates signboard and it deactivates propaedeutic is not false. ; $proof$ = 
sent18 & sent19 -> int1: that the signboard is not a senior hold.; sent17 -> int2: the signboard is both not a dig and a playsuit if it is not a senior.; int1 & int2 -> int3: the signboard does not dig and is a playsuit.; sent7 -> int4: if the signboard does not dig and is a kind of a playsuit then it is Pythagorean.; int3 & int4 -> int5: the signboard is Pythagorean.; int5 & sent8 -> int6: the signboard is carangid.; sent2 -> int7: if the signboard is a kind of a carangid then it is cancroid.; int6 & int7 -> int8: the signboard is cancroid.; sent1 & sent6 -> int9: the signboard confederates gangster.; int8 & int9 -> int10: the signboard is a kind of a cancroid and does confederate gangster.; int10 -> hypothesis; __PROVED__