the fact that the airbrake is not a toast and does roughen door is wrong.
sent1: if the parapodium does not roughen door and it is not a toast it is not a begum. sent2: the fact that the grassfinch is a kind of a course hold. sent3: the sweetleaf is not a sudatorium and is not a kind of a assegai. sent4: if something roughens dairy the fact that it is not a toast and it roughens door is not correct. sent5: if the fact that something does not roughen dairy and does not roughen Bloch is not wrong then the fact that it is not a begum is true. sent6: something is not a kind of a condom. sent7: the liberal does not ossify. sent8: the catchall does not roughen dairy if there is something such that that it does roughen Bloch and roughens liberal is wrong. sent9: the airbrake is not a toast if the sweetleaf does roughen Bloch and is not a course. sent10: the airbrake is not a radical but it skids immunocompetence. sent11: the sweetleaf does not roughen door if there exists something such that it does not haul. sent12: the sweetleaf toasts and it is a kind of a course if it does not ossify. sent13: if there is something such that that it is a keratotomy and does roughen Bloch does not hold then the parapodium does not roughen Bloch. sent14: the parapodium roughens liberal if it roughens dairy. sent15: the grassfinch is not a kind of a sudatorium. sent16: the fact that the parapodium does not roughen liberal is true if the sweetleaf does ossify but it does not course. sent17: if the grassfinch is not a kind of a sudatorium then the fact that it is a keratotomy and roughens Bloch is not correct. sent18: that that the parapodium roughens Bloch and it does roughen liberal hold is not right if there is something such that it does not roughen door. sent19: if something is not a begum the airbrake is not a toast and does roughen door. sent20: if the sweetleaf is a toast then the airbrake does not roughen door. sent21: the sweetleaf does ossify and is not a course.
void -> assump1: Let's assume that the parapodium roughens dairy.; sent14 & assump1 -> int1: the parapodium does roughen liberal.; sent16 & sent21 -> int2: the parapodium does not roughen liberal.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the parapodium does not roughen dairy.; sent17 & sent15 -> int5: that the fact that the grassfinch is a kind of a keratotomy and it roughens Bloch is wrong is true.; int5 -> int6: there exists something such that that it is a keratotomy and it roughens Bloch is wrong.; int6 & sent13 -> int7: the parapodium does not roughen Bloch.; int4 & int7 -> int8: the parapodium does not roughen dairy and it does not roughen Bloch.; sent5 -> int9: the parapodium is not a kind of a begum if it does not roughen dairy and does not roughen Bloch.; int8 & int9 -> int10: the parapodium is not a kind of a begum.; int10 -> int11: there exists something such that it is not a kind of a begum.; int11 & sent19 -> hypothesis;
the fact that the airbrake does not toast and does roughen door is incorrect.
sent4 -> int12: the fact that the airbrake does not toast but it roughens door is not true if it roughens dairy.;
$hypothesis$ = the fact that the airbrake is not a toast and does roughen door is wrong. ; $context$ = sent1: if the parapodium does not roughen door and it is not a toast it is not a begum. sent2: the fact that the grassfinch is a kind of a course hold. sent3: the sweetleaf is not a sudatorium and is not a kind of a assegai. sent4: if something roughens dairy the fact that it is not a toast and it roughens door is not correct. sent5: if the fact that something does not roughen dairy and does not roughen Bloch is not wrong then the fact that it is not a begum is true. sent6: something is not a kind of a condom. sent7: the liberal does not ossify. sent8: the catchall does not roughen dairy if there is something such that that it does roughen Bloch and roughens liberal is wrong. sent9: the airbrake is not a toast if the sweetleaf does roughen Bloch and is not a course. sent10: the airbrake is not a radical but it skids immunocompetence. sent11: the sweetleaf does not roughen door if there exists something such that it does not haul. sent12: the sweetleaf toasts and it is a kind of a course if it does not ossify. sent13: if there is something such that that it is a keratotomy and does roughen Bloch does not hold then the parapodium does not roughen Bloch. sent14: the parapodium roughens liberal if it roughens dairy. sent15: the grassfinch is not a kind of a sudatorium. sent16: the fact that the parapodium does not roughen liberal is true if the sweetleaf does ossify but it does not course. sent17: if the grassfinch is not a kind of a sudatorium then the fact that it is a keratotomy and roughens Bloch is not correct. sent18: that that the parapodium roughens Bloch and it does roughen liberal hold is not right if there is something such that it does not roughen door. sent19: if something is not a begum the airbrake is not a toast and does roughen door. sent20: if the sweetleaf is a toast then the airbrake does not roughen door. sent21: the sweetleaf does ossify and is not a course. ; $proof$ = 
void -> assump1: Let's assume that the parapodium roughens dairy.; sent14 & assump1 -> int1: the parapodium does roughen liberal.; sent16 & sent21 -> int2: the parapodium does not roughen liberal.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the parapodium does not roughen dairy.; sent17 & sent15 -> int5: that the fact that the grassfinch is a kind of a keratotomy and it roughens Bloch is wrong is true.; int5 -> int6: there exists something such that that it is a keratotomy and it roughens Bloch is wrong.; int6 & sent13 -> int7: the parapodium does not roughen Bloch.; int4 & int7 -> int8: the parapodium does not roughen dairy and it does not roughen Bloch.; sent5 -> int9: the parapodium is not a kind of a begum if it does not roughen dairy and does not roughen Bloch.; int8 & int9 -> int10: the parapodium is not a kind of a begum.; int10 -> int11: there exists something such that it is not a kind of a begum.; int11 & sent19 -> hypothesis; __DISPROVED__