that there is something such that if it is a Salvador the fact that it does not case headlock and it is not an aviation does not hold is not right.
sent1: there is something such that if it is a kind of a Salvador then that it does not case headlock and is an aviation is incorrect. sent2: if something that does not flatten abbey is resolute it is not unavailable. sent3: there is something such that if it turfs nitrobacteria it is not an umbilical and is not a kind of an upstart. sent4: the fact that if the igniter does not case headlock and is a kind of the aviation then the igniter is not a Salvador is true. sent5: if the igniter is not acquisitive then that it is not hemal and wans does not hold. sent6: the fact that the suiting does not case headlock but it is Delphic is wrong if that it is impassable hold. sent7: that the abbey is not a balsamroot and does not case headlock is not correct if it combusts. sent8: there is something such that if it is lineal then the fact that it is a balsamroot that does not flatten igniter is not correct. sent9: the igniter does not flatten suiting. sent10: if the igniter does case headlock but it is not an aviation it is not a kind of a Salvador. sent11: the pinprick is not an aviation and it does not case snuff-color. sent12: if something that does not case headlock is not an aviation it is not a Salvador. sent13: there is something such that if it does wan that it is not a kind of a picul and it does not flatten abbey does not hold.
sent12 -> int1: if the igniter does not case headlock and it is not an aviation then it is not a Salvador.; void -> assump2: Let's assume that the igniter does not case headlock and is not an aviation.; int1 & assump2 -> int2: the fact that the igniter is not a Salvador is not wrong.; void -> assump1: Let's assume that the igniter is a kind of a Salvador.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the igniter does not case headlock and it is not an aviation is false.; [assump1] & int4 -> int5: if the igniter is a Salvador that it does not case headlock and it is not a kind of an aviation is not right.; int5 -> hypothesis;
$hypothesis$ = that there is something such that if it is a Salvador the fact that it does not case headlock and it is not an aviation does not hold is not right. ; $context$ = sent1: there is something such that if it is a kind of a Salvador then that it does not case headlock and is an aviation is incorrect. sent2: if something that does not flatten abbey is resolute it is not unavailable. sent3: there is something such that if it turfs nitrobacteria it is not an umbilical and is not a kind of an upstart. sent4: the fact that if the igniter does not case headlock and is a kind of the aviation then the igniter is not a Salvador is true. sent5: if the igniter is not acquisitive then that it is not hemal and wans does not hold. sent6: the fact that the suiting does not case headlock but it is Delphic is wrong if that it is impassable hold. sent7: that the abbey is not a balsamroot and does not case headlock is not correct if it combusts. sent8: there is something such that if it is lineal then the fact that it is a balsamroot that does not flatten igniter is not correct. sent9: the igniter does not flatten suiting. sent10: if the igniter does case headlock but it is not an aviation it is not a kind of a Salvador. sent11: the pinprick is not an aviation and it does not case snuff-color. sent12: if something that does not case headlock is not an aviation it is not a Salvador. sent13: there is something such that if it does wan that it is not a kind of a picul and it does not flatten abbey does not hold. ; $proof$ = 
sent12 -> int1: if the igniter does not case headlock and it is not an aviation then it is not a Salvador.; void -> assump2: Let's assume that the igniter does not case headlock and is not an aviation.; int1 & assump2 -> int2: the fact that the igniter is not a Salvador is not wrong.; void -> assump1: Let's assume that the igniter is a kind of a Salvador.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the igniter does not case headlock and it is not an aviation is false.; [assump1] & int4 -> int5: if the igniter is a Salvador that it does not case headlock and it is not a kind of an aviation is not right.; int5 -> hypothesis; __DISPROVED__