the soymilk is amnestic.
sent1: if the ursinia is not a chafe then that it is a trim and does bind unobtrusiveness is wrong. sent2: the ursinia does not chafe. sent3: if either something does bind unobtrusiveness or it is not a kind of a Isaac or both it does bind unobtrusiveness. sent4: the fact that something is not a trim but it strikes is not true if it binds unobtrusiveness. sent5: the pointillist does not bind unobtrusiveness if there exists something such that that it is a trim and it does bind unobtrusiveness is incorrect. sent6: the fact that the Europeanization is not noneffervescent is not wrong. sent7: that the pointillist is not undue or it is a Hmong or both does not hold if it is arsenical. sent8: the racist does not strike if the soymilk is not amnestic. sent9: something is a kind of a chafe if that it is not undue or it is a Hmong or both does not hold. sent10: something does trim and it does bind unobtrusiveness. sent11: the pointillist is noneffervescent. sent12: if the soymilk is not a kind of a strike then the Chinook is amnestic thing that binds unobtrusiveness. sent13: if something is not a kind of a strike the fact that it is not non-amnestic and it is noneffervescent is not right. sent14: the pointillist does not bind unobtrusiveness if there exists something such that it does not trim. sent15: the soymilk is not a trim if the ursinia is not amnestic. sent16: if the pointillist is a chafe then the racist binds unobtrusiveness and/or is not a kind of a Isaac. sent17: the pointillist does bind unobtrusiveness and it is noneffervescent if the racist is not a kind of a strike. sent18: the pointillist is noneffervescent if the racist is not a strike. sent19: there exists something such that that it is evidentiary and it is a Wembley is not right. sent20: the racist is not amnestic. sent21: if that the racist is not a trim but it is a kind of a strike is not right then the soymilk is not a strike. sent22: something is not amnestic if that it is amnestic and it is noneffervescent does not hold.
void -> assump1: Let's assume that the soymilk is not amnestic.; sent8 & assump1 -> int1: the racist is not a strike.; int1 & sent17 -> int2: the pointillist does bind unobtrusiveness and it is noneffervescent.; int2 -> int3: the pointillist binds unobtrusiveness.; sent1 & sent2 -> int4: that the ursinia is a trim and it does bind unobtrusiveness is not right.; int4 -> int5: there is something such that that it is a kind of a trim and it does bind unobtrusiveness is wrong.; int5 & sent5 -> int6: the pointillist does not bind unobtrusiveness.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the Chinook does bind unobtrusiveness.
$hypothesis$ = the soymilk is amnestic. ; $context$ = sent1: if the ursinia is not a chafe then that it is a trim and does bind unobtrusiveness is wrong. sent2: the ursinia does not chafe. sent3: if either something does bind unobtrusiveness or it is not a kind of a Isaac or both it does bind unobtrusiveness. sent4: the fact that something is not a trim but it strikes is not true if it binds unobtrusiveness. sent5: the pointillist does not bind unobtrusiveness if there exists something such that that it is a trim and it does bind unobtrusiveness is incorrect. sent6: the fact that the Europeanization is not noneffervescent is not wrong. sent7: that the pointillist is not undue or it is a Hmong or both does not hold if it is arsenical. sent8: the racist does not strike if the soymilk is not amnestic. sent9: something is a kind of a chafe if that it is not undue or it is a Hmong or both does not hold. sent10: something does trim and it does bind unobtrusiveness. sent11: the pointillist is noneffervescent. sent12: if the soymilk is not a kind of a strike then the Chinook is amnestic thing that binds unobtrusiveness. sent13: if something is not a kind of a strike the fact that it is not non-amnestic and it is noneffervescent is not right. sent14: the pointillist does not bind unobtrusiveness if there exists something such that it does not trim. sent15: the soymilk is not a trim if the ursinia is not amnestic. sent16: if the pointillist is a chafe then the racist binds unobtrusiveness and/or is not a kind of a Isaac. sent17: the pointillist does bind unobtrusiveness and it is noneffervescent if the racist is not a kind of a strike. sent18: the pointillist is noneffervescent if the racist is not a strike. sent19: there exists something such that that it is evidentiary and it is a Wembley is not right. sent20: the racist is not amnestic. sent21: if that the racist is not a trim but it is a kind of a strike is not right then the soymilk is not a strike. sent22: something is not amnestic if that it is amnestic and it is noneffervescent does not hold. ; $proof$ = 
void -> assump1: Let's assume that the soymilk is not amnestic.; sent8 & assump1 -> int1: the racist is not a strike.; int1 & sent17 -> int2: the pointillist does bind unobtrusiveness and it is noneffervescent.; int2 -> int3: the pointillist binds unobtrusiveness.; sent1 & sent2 -> int4: that the ursinia is a trim and it does bind unobtrusiveness is not right.; int4 -> int5: there is something such that that it is a kind of a trim and it does bind unobtrusiveness is wrong.; int5 & sent5 -> int6: the pointillist does not bind unobtrusiveness.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__