the jay sickens trumpeter and it is mutagenic.
sent1: if something is a Eskimo then the jay is a kind of amethystine thing that gathers carnivore. sent2: if the jay does gather carnivore and it is mild the Uzbek does not hew. sent3: the jay does not jab. sent4: if something does not hew it is not mutagenic. sent5: the Uzbek is not popular. sent6: something that is not a fingernail sickens trumpeter and is mutagenic. sent7: if something is not mild then it is not a fingernail. sent8: there is something such that the fact that it is a Eskimo is correct. sent9: if the Uzbek is not popular it does sicken volumed and it hews. sent10: the ornithine is a fingernail and it is obstetrics. sent11: the jay does not set.
sent8 & sent1 -> int1: the jay is amethystine and it gathers carnivore.; int1 -> int2: the jay does gather carnivore.; void -> assump1: Let's assume that the jay is mild.; int2 & assump1 -> int3: the jay does gather carnivore and is mild.; int3 & sent2 -> int4: the Uzbek does not hew.; sent9 & sent5 -> int5: the Uzbek sickens volumed and it hews.; int5 -> int6: the Uzbek hews.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the jay is not mild.; sent7 -> int9: the jay is not a kind of a fingernail if it is not mild.; int8 & int9 -> int10: the jay is not a kind of a fingernail.; sent6 -> int11: if the jay is not a fingernail then it does sicken trumpeter and is mutagenic.; int10 & int11 -> hypothesis;
$hypothesis$ = the jay sickens trumpeter and it is mutagenic. ; $context$ = sent1: if something is a Eskimo then the jay is a kind of amethystine thing that gathers carnivore. sent2: if the jay does gather carnivore and it is mild the Uzbek does not hew. sent3: the jay does not jab. sent4: if something does not hew it is not mutagenic. sent5: the Uzbek is not popular. sent6: something that is not a fingernail sickens trumpeter and is mutagenic. sent7: if something is not mild then it is not a fingernail. sent8: there is something such that the fact that it is a Eskimo is correct. sent9: if the Uzbek is not popular it does sicken volumed and it hews. sent10: the ornithine is a fingernail and it is obstetrics. sent11: the jay does not set. ; $proof$ = 
sent8 & sent1 -> int1: the jay is amethystine and it gathers carnivore.; int1 -> int2: the jay does gather carnivore.; void -> assump1: Let's assume that the jay is mild.; int2 & assump1 -> int3: the jay does gather carnivore and is mild.; int3 & sent2 -> int4: the Uzbek does not hew.; sent9 & sent5 -> int5: the Uzbek sickens volumed and it hews.; int5 -> int6: the Uzbek hews.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the jay is not mild.; sent7 -> int9: the jay is not a kind of a fingernail if it is not mild.; int8 & int9 -> int10: the jay is not a kind of a fingernail.; sent6 -> int11: if the jay is not a fingernail then it does sicken trumpeter and is mutagenic.; int10 & int11 -> hypothesis; __PROVED__