the sulcus is not airworthy.
sent1: the sulcus does not rerun nationality if something is not airworthy. sent2: that something is not provident but it panics metacenter is not true if it is not spousal. sent3: the sulcus is not airworthy if the hyrax is spousal and/or is a kind of a nacelle. sent4: the psilomelane does not rerun nationality. sent5: if the psilomelane is not airworthy the sulcus is airworthy. sent6: if the fact that something is not provident and does panic metacenter is false that it is not brazen is not wrong. sent7: something does not rerun nationality if the fact that it is not a nacelle and is provident is not true. sent8: the ice-wagon is not juvenile. sent9: the psilomelane is not a nacelle and does not rerun nationality if something is not airworthy. sent10: if the hyrax is not spousal the fact that it is provident thing that panics metacenter does not hold. sent11: if something panics yachtsman then it is not spousal and it does not brazen. sent12: that the goral is not brazen and it is not Olympian is wrong. sent13: if the hyrax is not brazen the fact that the psilomelane does not panic yachtsman and it does not rerun nationality does not hold. sent14: the hyrax is airworthy or is not improvident or both. sent15: if something is not a kind of a juvenile then the psilomelane does not panic yachtsman and it does not rerun nationality. sent16: if something is not airworthy then the ice-wagon is not spousal and it is not a juvenile.
sent2 -> int1: if the hyrax is not spousal then that it is not provident and it does panic metacenter is not right.; void -> assump1: Let's assume that the hyrax is not spousal.; int1 & assump1 -> int2: that that the hyrax is a kind of improvident thing that does panic metacenter is true is wrong.; sent6 -> int3: the hyrax is not brazen if that it is not provident and does panic metacenter is wrong.; int2 & int3 -> int4: the hyrax is not brazen.; int4 & sent13 -> int5: that the psilomelane does not panic yachtsman and it does not rerun nationality is wrong.; sent8 -> int6: there exists something such that it is not a juvenile.; int6 & sent15 -> int7: the psilomelane does not panic yachtsman and it does not rerun nationality.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the hyrax is spousal.; int9 -> int10: the hyrax is spousal and/or is a nacelle.; int10 & sent3 -> hypothesis;
the sulcus is airworthy.
sent11 -> int11: the psilomelane is not spousal and it does not brazen if it panics yachtsman.;
$hypothesis$ = the sulcus is not airworthy. ; $context$ = sent1: the sulcus does not rerun nationality if something is not airworthy. sent2: that something is not provident but it panics metacenter is not true if it is not spousal. sent3: the sulcus is not airworthy if the hyrax is spousal and/or is a kind of a nacelle. sent4: the psilomelane does not rerun nationality. sent5: if the psilomelane is not airworthy the sulcus is airworthy. sent6: if the fact that something is not provident and does panic metacenter is false that it is not brazen is not wrong. sent7: something does not rerun nationality if the fact that it is not a nacelle and is provident is not true. sent8: the ice-wagon is not juvenile. sent9: the psilomelane is not a nacelle and does not rerun nationality if something is not airworthy. sent10: if the hyrax is not spousal the fact that it is provident thing that panics metacenter does not hold. sent11: if something panics yachtsman then it is not spousal and it does not brazen. sent12: that the goral is not brazen and it is not Olympian is wrong. sent13: if the hyrax is not brazen the fact that the psilomelane does not panic yachtsman and it does not rerun nationality does not hold. sent14: the hyrax is airworthy or is not improvident or both. sent15: if something is not a kind of a juvenile then the psilomelane does not panic yachtsman and it does not rerun nationality. sent16: if something is not airworthy then the ice-wagon is not spousal and it is not a juvenile. ; $proof$ = 
sent2 -> int1: if the hyrax is not spousal then that it is not provident and it does panic metacenter is not right.; void -> assump1: Let's assume that the hyrax is not spousal.; int1 & assump1 -> int2: that that the hyrax is a kind of improvident thing that does panic metacenter is true is wrong.; sent6 -> int3: the hyrax is not brazen if that it is not provident and does panic metacenter is wrong.; int2 & int3 -> int4: the hyrax is not brazen.; int4 & sent13 -> int5: that the psilomelane does not panic yachtsman and it does not rerun nationality is wrong.; sent8 -> int6: there exists something such that it is not a juvenile.; int6 & sent15 -> int7: the psilomelane does not panic yachtsman and it does not rerun nationality.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the hyrax is spousal.; int9 -> int10: the hyrax is spousal and/or is a nacelle.; int10 & sent3 -> hypothesis; __PROVED__