the fact that that the settee is not a stent and is Incan is wrong if the fact that the cullis suckles psalmody is not incorrect does not hold.
sent1: the fact that the settee is a stent and it is Incan does not hold if the statesman does maintain transcriptase. sent2: the statesman does maintain transcriptase if the cullis suckles psalmody. sent3: if the cullis does suckle psalmody then that the settee is a stent and it is Incan is false. sent4: the fact that the settee does suckle psalmody and it suckles recitative does not hold. sent5: that the cullis is not a kind of a stent and does suckle psalmody is false if the settee is Incan. sent6: if the cullis does maintain transcriptase then the fact that the settee does not suckle psalmody but it is Incan is not correct. sent7: the fact that the fact that the settee is both not a stent and Incan does not hold hold if the statesman maintains transcriptase. sent8: if the cullis does suckle psalmody then the settee is not a stent but it is Incan. sent9: the settee is not a kind of a stent but it is Incan. sent10: the tropism is Incan. sent11: that that the settee is both a stent and Incan hold is not right. sent12: the settee is not a stent but it is Incan if that the statesman does maintain transcriptase hold.
void -> assump1: Let's assume that the cullis does suckle psalmody.; sent2 & assump1 -> int1: the statesman does maintain transcriptase.; sent7 & int1 -> int2: that the settee is not a stent but it is not non-Incan is not right.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that that the settee is not a stent and is Incan is wrong if the fact that the cullis suckles psalmody is not incorrect does not hold. ; $context$ = sent1: the fact that the settee is a stent and it is Incan does not hold if the statesman does maintain transcriptase. sent2: the statesman does maintain transcriptase if the cullis suckles psalmody. sent3: if the cullis does suckle psalmody then that the settee is a stent and it is Incan is false. sent4: the fact that the settee does suckle psalmody and it suckles recitative does not hold. sent5: that the cullis is not a kind of a stent and does suckle psalmody is false if the settee is Incan. sent6: if the cullis does maintain transcriptase then the fact that the settee does not suckle psalmody but it is Incan is not correct. sent7: the fact that the fact that the settee is both not a stent and Incan does not hold hold if the statesman maintains transcriptase. sent8: if the cullis does suckle psalmody then the settee is not a stent but it is Incan. sent9: the settee is not a kind of a stent but it is Incan. sent10: the tropism is Incan. sent11: that that the settee is both a stent and Incan hold is not right. sent12: the settee is not a stent but it is Incan if that the statesman does maintain transcriptase hold. ; $proof$ = 
void -> assump1: Let's assume that the cullis does suckle psalmody.; sent2 & assump1 -> int1: the statesman does maintain transcriptase.; sent7 & int1 -> int2: that the settee is not a stent but it is not non-Incan is not right.; [assump1] & int2 -> hypothesis; __DISPROVED__