the urethane is kinetic.
sent1: the redbud is a ravaging. sent2: the urethane is intramural but it is not a nativeness. sent3: if the Jezebel is a kind of a nativeness then the morgue is archesporial. sent4: the Jezebel is a nativeness if the redbud swags. sent5: the fact that if something is not a swag then that it is not non-kinetic and is not a kind of a nativeness does not hold hold. sent6: the urethane swags. sent7: the alkapton is kinetic. sent8: the fact that the redbud is Boolean hold. sent9: if the morgue is archesporial the PMS is Gaussian. sent10: the redbud swags if something is intramural but not Boolean. sent11: if the urethane is not kinetic it is intramural and it is not Boolean. sent12: the morgue is Boolean if it is not archesporial. sent13: if the Jezebel is not Boolean it is a kind of Gaussian thing that is not a kind of a nativeness. sent14: the PMS is not Gaussian. sent15: something is a kind of intramural thing that is Boolean. sent16: there exists something such that it is archesporial and it is not Gaussian. sent17: the Jezebel is kinetic. sent18: the Jezebel is a nativeness but it is not intramural if it is not a swag. sent19: that the urethane is intramural is correct if it is not kinetic. sent20: if the Jezebel is not a kind of a swag then it is intramural and is not a kind of a nativeness.
void -> assump1: Let's assume that the urethane is not kinetic.; sent11 & assump1 -> int1: the urethane is intramural and non-Boolean.; int1 -> int2: something is intramural but it is not Boolean.; int2 & sent10 -> int3: the redbud is a swag.; int3 & sent4 -> int4: the Jezebel is a nativeness.; int4 & sent3 -> int5: the morgue is archesporial.; int5 & sent9 -> int6: the PMS is Gaussian.; int6 & sent14 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the fact that the urethane is not kinetic is not wrong.
sent5 -> int8: if that the urethane is not a swag hold then that it is kinetic and it is not a nativeness does not hold.;
$hypothesis$ = the urethane is kinetic. ; $context$ = sent1: the redbud is a ravaging. sent2: the urethane is intramural but it is not a nativeness. sent3: if the Jezebel is a kind of a nativeness then the morgue is archesporial. sent4: the Jezebel is a nativeness if the redbud swags. sent5: the fact that if something is not a swag then that it is not non-kinetic and is not a kind of a nativeness does not hold hold. sent6: the urethane swags. sent7: the alkapton is kinetic. sent8: the fact that the redbud is Boolean hold. sent9: if the morgue is archesporial the PMS is Gaussian. sent10: the redbud swags if something is intramural but not Boolean. sent11: if the urethane is not kinetic it is intramural and it is not Boolean. sent12: the morgue is Boolean if it is not archesporial. sent13: if the Jezebel is not Boolean it is a kind of Gaussian thing that is not a kind of a nativeness. sent14: the PMS is not Gaussian. sent15: something is a kind of intramural thing that is Boolean. sent16: there exists something such that it is archesporial and it is not Gaussian. sent17: the Jezebel is kinetic. sent18: the Jezebel is a nativeness but it is not intramural if it is not a swag. sent19: that the urethane is intramural is correct if it is not kinetic. sent20: if the Jezebel is not a kind of a swag then it is intramural and is not a kind of a nativeness. ; $proof$ = 
void -> assump1: Let's assume that the urethane is not kinetic.; sent11 & assump1 -> int1: the urethane is intramural and non-Boolean.; int1 -> int2: something is intramural but it is not Boolean.; int2 & sent10 -> int3: the redbud is a swag.; int3 & sent4 -> int4: the Jezebel is a nativeness.; int4 & sent3 -> int5: the morgue is archesporial.; int5 & sent9 -> int6: the PMS is Gaussian.; int6 & sent14 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__