the prophetess is not concessive.
sent1: if the fact that the prophetess is a stigmatism that does not offset phenylephrine is not incorrect then it is not incurious. sent2: if the fact that something is both a sketch and not due is wrong it is not concessive. sent3: the fact that something is not a singular and it does not offset Apeldoorn does not hold if it is not a due. sent4: that the prophetess is a kind of a stigmatism is right. sent5: something is not a kind of a singular and it does not offset Apeldoorn if it is not incurious. sent6: the prophetess is concessive if the airbrake does offset Apeldoorn. sent7: everything is a sketch. sent8: the otterhound does not sketch if the fact that the catch is a IMU and/or it is a discrepancy is not right. sent9: if that the airbrake is non-singular thing that does not offset Apeldoorn is not true the fact that the prophetess is concessive is true. sent10: the otterhound does not sketch if that the catch is either a IMU or not a discrepancy or both is false. sent11: the airbrake is not a due if either something is a IMU or it is not a discrepancy or both.
void -> assump1: Let's assume that the fact that either the catch is a IMU or it is not a discrepancy or both is wrong.; sent10 & assump1 -> int1: the otterhound is not a sketch.; sent7 -> int2: the fact that the otterhound sketches is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the catch either is a IMU or is not a kind of a discrepancy or both.; int4 -> int5: something is a IMU and/or it is not a discrepancy.; int5 & sent11 -> int6: the airbrake is not a due.; sent3 -> int7: that the airbrake is not a kind of a singular and does not offset Apeldoorn is false if it is not a kind of a due.; int6 & int7 -> int8: that the airbrake is not a singular and does not offset Apeldoorn is false.; int8 & sent9 -> hypothesis;
the prophetess is not concessive.
sent2 -> int9: that the prophetess is not concessive is true if the fact that it does sketch and it is not a due does not hold.; sent5 -> int10: the prophetess is not singular and it does not offset Apeldoorn if it is not incurious.;
$hypothesis$ = the prophetess is not concessive. ; $context$ = sent1: if the fact that the prophetess is a stigmatism that does not offset phenylephrine is not incorrect then it is not incurious. sent2: if the fact that something is both a sketch and not due is wrong it is not concessive. sent3: the fact that something is not a singular and it does not offset Apeldoorn does not hold if it is not a due. sent4: that the prophetess is a kind of a stigmatism is right. sent5: something is not a kind of a singular and it does not offset Apeldoorn if it is not incurious. sent6: the prophetess is concessive if the airbrake does offset Apeldoorn. sent7: everything is a sketch. sent8: the otterhound does not sketch if the fact that the catch is a IMU and/or it is a discrepancy is not right. sent9: if that the airbrake is non-singular thing that does not offset Apeldoorn is not true the fact that the prophetess is concessive is true. sent10: the otterhound does not sketch if that the catch is either a IMU or not a discrepancy or both is false. sent11: the airbrake is not a due if either something is a IMU or it is not a discrepancy or both. ; $proof$ = 
void -> assump1: Let's assume that the fact that either the catch is a IMU or it is not a discrepancy or both is wrong.; sent10 & assump1 -> int1: the otterhound is not a sketch.; sent7 -> int2: the fact that the otterhound sketches is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the catch either is a IMU or is not a kind of a discrepancy or both.; int4 -> int5: something is a IMU and/or it is not a discrepancy.; int5 & sent11 -> int6: the airbrake is not a due.; sent3 -> int7: that the airbrake is not a kind of a singular and does not offset Apeldoorn is false if it is not a kind of a due.; int6 & int7 -> int8: that the airbrake is not a singular and does not offset Apeldoorn is false.; int8 & sent9 -> hypothesis; __DISPROVED__