the fieldwork evens and it is impolite if the martyr does not freeze-dry martyr.
sent1: if the fact that something is psychogenetic but it is not a Eastertide does not hold then it is a Eastertide. sent2: the killdeer does freeze-dry inga if that the martyr is non-psychogenetic thing that does freeze-dry martyr is false. sent3: if something does not freeze-dry martyr the fact that it is psychogenetic and it is not a Eastertide is incorrect. sent4: the fieldwork is both a Eastertide and a lowercase. sent5: if that the fieldwork is Shavian and not non-evening is wrong then the killdeer does not non-evening. sent6: the breeding does not freeze-dry martyr if the martyr does not freeze-dry inga. sent7: the martyr does not freeze-dry inga if the killdeer is a kind of non-impolite thing that does not freeze-dry inga. sent8: the fieldwork is not non-evening if the killdeer freeze-dries inga. sent9: the fieldwork freeze-dries inga and it is psychogenetic if the martyr is impolite.
void -> assump1: Let's assume that the martyr is not psychogenetic but it freeze-dries martyr.; assump1 -> int1: the martyr does freeze-dry martyr.; void -> assump2: Let's assume that the martyr does not freeze-dry martyr.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the martyr is not psychogenetic but it does freeze-dry martyr does not hold.; int3 & sent2 -> int4: the killdeer freeze-dries inga.; int4 & sent8 -> int5: the fieldwork is evening.; sent4 -> int6: the fieldwork is a Eastertide.;
the breeding is a Eastertide.
sent1 -> int7: the breeding is a kind of a Eastertide if the fact that it is psychogenetic and it is not a Eastertide is not correct.; sent3 -> int8: if the breeding does not freeze-dry martyr then that it is psychogenetic and it is not a Eastertide is false.;
$hypothesis$ = the fieldwork evens and it is impolite if the martyr does not freeze-dry martyr. ; $context$ = sent1: if the fact that something is psychogenetic but it is not a Eastertide does not hold then it is a Eastertide. sent2: the killdeer does freeze-dry inga if that the martyr is non-psychogenetic thing that does freeze-dry martyr is false. sent3: if something does not freeze-dry martyr the fact that it is psychogenetic and it is not a Eastertide is incorrect. sent4: the fieldwork is both a Eastertide and a lowercase. sent5: if that the fieldwork is Shavian and not non-evening is wrong then the killdeer does not non-evening. sent6: the breeding does not freeze-dry martyr if the martyr does not freeze-dry inga. sent7: the martyr does not freeze-dry inga if the killdeer is a kind of non-impolite thing that does not freeze-dry inga. sent8: the fieldwork is not non-evening if the killdeer freeze-dries inga. sent9: the fieldwork freeze-dries inga and it is psychogenetic if the martyr is impolite. ; $proof$ = 
void -> assump1: Let's assume that the martyr is not psychogenetic but it freeze-dries martyr.; assump1 -> int1: the martyr does freeze-dry martyr.; void -> assump2: Let's assume that the martyr does not freeze-dry martyr.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the martyr is not psychogenetic but it does freeze-dry martyr does not hold.; int3 & sent2 -> int4: the killdeer freeze-dries inga.; int4 & sent8 -> int5: the fieldwork is evening.; sent4 -> int6: the fieldwork is a Eastertide.; __UNKNOWN__