the weave does not scram weave.
sent1: if something is solar thing that is not a segregation it is not intrauterine. sent2: that the coachbuilder is a geologist and does not soothe is not correct. sent3: if that the fact that the coachbuilder is intrauterine but it is not solar is false is correct then the weave scrams weave. sent4: something is solar if it is non-burlesque. sent5: if something is not a burlesque it is both solar and not a segregation. sent6: if there is something such that the fact that it is not a geologist and it does not soothe is not true the asp is intrauterine. sent7: that the asp is a ritz and does not scram coachbuilder is wrong. sent8: if the fact that that the asp is a kind of a ritz but it does not scram coachbuilder is not correct hold then it is not burlesque. sent9: if the weave scrams weave then the fact that the coachbuilder is a geologist but it does not soothe does not hold. sent10: if that the weave is intrauterine but it does not scram weave is not correct then the coachbuilder scram weave. sent11: there is something such that that it is a geologist and it does not soothe is not correct. sent12: if the asp scrams coachbuilder then it is not a burlesque. sent13: the fact that that the coachbuilder is not a geologist and does not soothe is false is not false if the weave does scram weave. sent14: the asp is intrauterine if there is something such that it is a geologist. sent15: the asp is solar. sent16: there is something such that it is not a kind of a geologist and does not soothe.
void -> assump1: Let's assume that the weave does scram weave.; sent13 & assump1 -> int1: that the coachbuilder is not a geologist and does not soothe is not right.; int1 -> int2: there exists something such that the fact that it is not a kind of a geologist and does not soothe is wrong.; int2 & sent6 -> int3: the asp is intrauterine.; sent1 -> int4: the asp is not intrauterine if it is solar thing that is not a segregation.; sent5 -> int5: if the asp is non-burlesque it is solar and it is not a segregation.; sent8 & sent7 -> int6: the asp is not burlesque.; int5 & int6 -> int7: the asp is both solar and not a segregation.; int4 & int7 -> int8: the asp is not intrauterine.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the coachbuilder scrams weave.
$hypothesis$ = the weave does not scram weave. ; $context$ = sent1: if something is solar thing that is not a segregation it is not intrauterine. sent2: that the coachbuilder is a geologist and does not soothe is not correct. sent3: if that the fact that the coachbuilder is intrauterine but it is not solar is false is correct then the weave scrams weave. sent4: something is solar if it is non-burlesque. sent5: if something is not a burlesque it is both solar and not a segregation. sent6: if there is something such that the fact that it is not a geologist and it does not soothe is not true the asp is intrauterine. sent7: that the asp is a ritz and does not scram coachbuilder is wrong. sent8: if the fact that that the asp is a kind of a ritz but it does not scram coachbuilder is not correct hold then it is not burlesque. sent9: if the weave scrams weave then the fact that the coachbuilder is a geologist but it does not soothe does not hold. sent10: if that the weave is intrauterine but it does not scram weave is not correct then the coachbuilder scram weave. sent11: there is something such that that it is a geologist and it does not soothe is not correct. sent12: if the asp scrams coachbuilder then it is not a burlesque. sent13: the fact that that the coachbuilder is not a geologist and does not soothe is false is not false if the weave does scram weave. sent14: the asp is intrauterine if there is something such that it is a geologist. sent15: the asp is solar. sent16: there is something such that it is not a kind of a geologist and does not soothe. ; $proof$ = 
void -> assump1: Let's assume that the weave does scram weave.; sent13 & assump1 -> int1: that the coachbuilder is not a geologist and does not soothe is not right.; int1 -> int2: there exists something such that the fact that it is not a kind of a geologist and does not soothe is wrong.; int2 & sent6 -> int3: the asp is intrauterine.; sent1 -> int4: the asp is not intrauterine if it is solar thing that is not a segregation.; sent5 -> int5: if the asp is non-burlesque it is solar and it is not a segregation.; sent8 & sent7 -> int6: the asp is not burlesque.; int5 & int6 -> int7: the asp is both solar and not a segregation.; int4 & int7 -> int8: the asp is not intrauterine.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__