the umbel wows scalper.
sent1: something does not wow scalper if it is a prime. sent2: the pruning primes. sent3: something that is a kind of an amputation is not hemispherical. sent4: if the umbel destructs then it does wow Reptilia and does not support. sent5: the umbel is a baker. sent6: if something abrades then it is not a kind of a isothiocyanate. sent7: if something is not a Hargeisa then the fact that it is not cerebrospinal hold. sent8: the umbel is a kind of a isothiocyanate but it is not a smash. sent9: the hack is oracular. sent10: the umbel is not oracular. sent11: the fact that the scalper is not prime is not incorrect. sent12: if something is prime it is not oracular. sent13: the umbel is a kind of a housedog but it is not oracular. sent14: something is cerebrospinal if it is a kind of a housedog. sent15: if something is a kind of a Hargeisa it is a prime and it is not a support. sent16: something is not nonunion if it is a flail.
sent7 -> int1: if the umbel is not a Hargeisa it is not cerebrospinal.; void -> assump1: Let's assume that the umbel is not a Hargeisa.; int1 & assump1 -> int2: the umbel is not cerebrospinal.; sent14 -> int3: if the umbel is a housedog then it is cerebrospinal.; sent13 -> int4: the umbel is a kind of a housedog.; int3 & int4 -> int5: the umbel is cerebrospinal.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the umbel is a Hargeisa.; sent15 -> int8: if the umbel is a Hargeisa then it does prime and it does not support.; int7 & int8 -> int9: the umbel is a prime and is not a kind of a support.; int9 -> int10: the umbel is a prime.; sent1 -> int11: the fact that the umbel does not wow scalper if the umbel is a prime is right.; int10 & int11 -> hypothesis;
$hypothesis$ = the umbel wows scalper. ; $context$ = sent1: something does not wow scalper if it is a prime. sent2: the pruning primes. sent3: something that is a kind of an amputation is not hemispherical. sent4: if the umbel destructs then it does wow Reptilia and does not support. sent5: the umbel is a baker. sent6: if something abrades then it is not a kind of a isothiocyanate. sent7: if something is not a Hargeisa then the fact that it is not cerebrospinal hold. sent8: the umbel is a kind of a isothiocyanate but it is not a smash. sent9: the hack is oracular. sent10: the umbel is not oracular. sent11: the fact that the scalper is not prime is not incorrect. sent12: if something is prime it is not oracular. sent13: the umbel is a kind of a housedog but it is not oracular. sent14: something is cerebrospinal if it is a kind of a housedog. sent15: if something is a kind of a Hargeisa it is a prime and it is not a support. sent16: something is not nonunion if it is a flail. ; $proof$ = 
sent7 -> int1: if the umbel is not a Hargeisa it is not cerebrospinal.; void -> assump1: Let's assume that the umbel is not a Hargeisa.; int1 & assump1 -> int2: the umbel is not cerebrospinal.; sent14 -> int3: if the umbel is a housedog then it is cerebrospinal.; sent13 -> int4: the umbel is a kind of a housedog.; int3 & int4 -> int5: the umbel is cerebrospinal.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the umbel is a Hargeisa.; sent15 -> int8: if the umbel is a Hargeisa then it does prime and it does not support.; int7 & int8 -> int9: the umbel is a prime and is not a kind of a support.; int9 -> int10: the umbel is a prime.; sent1 -> int11: the fact that the umbel does not wow scalper if the umbel is a prime is right.; int10 & int11 -> hypothesis; __DISPROVED__