the fact that if the dulciana is a reciprocation the fact that the rotgut does transgress is right is false.
sent1: the lunatic does bank foul if the dulciana is a reciprocation. sent2: if the lunatic is a reciprocation that does not bank foul then the dulciana is piscatorial. sent3: the lunatic is airworthy but it is not a Cherokee. sent4: the lunatic does bank foul. sent5: if the dulciana is a reciprocation the lunatic banks foul and is not piscatorial. sent6: the lunatic does transgress if it is a kind of a schorl. sent7: the rotgut does transgress but it is not piscatorial if the lunatic is a kind of a reciprocation. sent8: that if the lunatic transgresses the rotgut is not non-piscatorial is correct. sent9: the dulciana does transgress. sent10: the dulciana is piscatorial if the lunatic is a kind of a reciprocation. sent11: the dulciana does transgress if the lunatic banks foul but it is not a reciprocation. sent12: the rotgut is piscatorial but it does not transgress. sent13: the rotgut banks foul. sent14: the fact that if the fact that the dulciana is not a reciprocation hold the prod is piscatorial and is not a kind of a subtitle hold. sent15: if the lunatic does bank foul but it is not piscatorial the rotgut does transgress.
void -> assump1: Let's assume that the dulciana is a reciprocation.; sent5 & assump1 -> int1: the lunatic does bank foul and is non-piscatorial.; sent15 & int1 -> int2: the rotgut does transgress.; [assump1] & int2 -> hypothesis;
the prod is both piscatorial and not a subtitle.
$hypothesis$ = the fact that if the dulciana is a reciprocation the fact that the rotgut does transgress is right is false. ; $context$ = sent1: the lunatic does bank foul if the dulciana is a reciprocation. sent2: if the lunatic is a reciprocation that does not bank foul then the dulciana is piscatorial. sent3: the lunatic is airworthy but it is not a Cherokee. sent4: the lunatic does bank foul. sent5: if the dulciana is a reciprocation the lunatic banks foul and is not piscatorial. sent6: the lunatic does transgress if it is a kind of a schorl. sent7: the rotgut does transgress but it is not piscatorial if the lunatic is a kind of a reciprocation. sent8: that if the lunatic transgresses the rotgut is not non-piscatorial is correct. sent9: the dulciana does transgress. sent10: the dulciana is piscatorial if the lunatic is a kind of a reciprocation. sent11: the dulciana does transgress if the lunatic banks foul but it is not a reciprocation. sent12: the rotgut is piscatorial but it does not transgress. sent13: the rotgut banks foul. sent14: the fact that if the fact that the dulciana is not a reciprocation hold the prod is piscatorial and is not a kind of a subtitle hold. sent15: if the lunatic does bank foul but it is not piscatorial the rotgut does transgress. ; $proof$ = 
void -> assump1: Let's assume that the dulciana is a reciprocation.; sent5 & assump1 -> int1: the lunatic does bank foul and is non-piscatorial.; sent15 & int1 -> int2: the rotgut does transgress.; [assump1] & int2 -> hypothesis; __DISPROVED__