the fact that the dissenter does investigate Adenanthera and is unfavorable is wrong.
sent1: the prince does abandon airscrew and is not an immobility if it is not unproductive. sent2: the percolate is a star if there is something such that that it is not tight and does not diffuse oneness is not right. sent3: the prince is taciturn and virile. sent4: that the cutin is not tight and it does not diffuse oneness does not hold. sent5: the dissenter does investigate Adenanthera if the lung does investigate Adenanthera. sent6: if the prince is unproductive and stars then the lung is not a flowchart. sent7: the prince is a kind of a star if the percolate does star. sent8: if there is something such that it is not a flowchart then that the dissenter does investigate Adenanthera and is unfavorable does not hold. sent9: the prince is not taciturn if it abandons airscrew and is not an immobility.
void -> assump1: Let's assume that the prince is not unproductive.; sent1 & assump1 -> int1: the prince does abandon airscrew but it is not an immobility.; int1 & sent9 -> int2: the prince is not taciturn.; sent3 -> int3: that the prince is taciturn is not wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the prince is unproductive hold.; sent4 -> int6: there exists something such that that it is not tight and it does not diffuse oneness is not true.; int6 & sent2 -> int7: the percolate stars.; sent7 & int7 -> int8: the prince does star.; int5 & int8 -> int9: the prince is unproductive and it is a star.; int9 & sent6 -> int10: the fact that the lung is not a flowchart is true.; int10 -> int11: something is not a flowchart.; int11 & sent8 -> hypothesis;
the dissenter does investigate Adenanthera and is unfavorable.
$hypothesis$ = the fact that the dissenter does investigate Adenanthera and is unfavorable is wrong. ; $context$ = sent1: the prince does abandon airscrew and is not an immobility if it is not unproductive. sent2: the percolate is a star if there is something such that that it is not tight and does not diffuse oneness is not right. sent3: the prince is taciturn and virile. sent4: that the cutin is not tight and it does not diffuse oneness does not hold. sent5: the dissenter does investigate Adenanthera if the lung does investigate Adenanthera. sent6: if the prince is unproductive and stars then the lung is not a flowchart. sent7: the prince is a kind of a star if the percolate does star. sent8: if there is something such that it is not a flowchart then that the dissenter does investigate Adenanthera and is unfavorable does not hold. sent9: the prince is not taciturn if it abandons airscrew and is not an immobility. ; $proof$ = 
void -> assump1: Let's assume that the prince is not unproductive.; sent1 & assump1 -> int1: the prince does abandon airscrew but it is not an immobility.; int1 & sent9 -> int2: the prince is not taciturn.; sent3 -> int3: that the prince is taciturn is not wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the prince is unproductive hold.; sent4 -> int6: there exists something such that that it is not tight and it does not diffuse oneness is not true.; int6 & sent2 -> int7: the percolate stars.; sent7 & int7 -> int8: the prince does star.; int5 & int8 -> int9: the prince is unproductive and it is a star.; int9 & sent6 -> int10: the fact that the lung is not a flowchart is true.; int10 -> int11: something is not a flowchart.; int11 & sent8 -> hypothesis; __PROVED__