the blasphemer is not a alienee but sensible.
sent1: the pulque is a iguanodon. sent2: the distance is not a kind of a iguanodon. sent3: the distance is a honk if the pulque is a rensselaerite. sent4: if that something is a alienee and it is not insensible is wrong it is not maternal. sent5: if the Champaign is a rensselaerite then the pulque is anaclinal. sent6: the Slovene is anaclinal. sent7: the distance is a kind of a alienee. sent8: something is not sensible if it is not anaclinal. sent9: the Champaign is mucosal. sent10: the Slovene is a iguanodon. sent11: if the Champaign is not anaclinal then the fact that the distance is not anaclinal and not non-maternal is incorrect. sent12: the blasphemer is not a kind of a alienee but it is a rensselaerite. sent13: if the Slovene is a iguanodon the pulque is a rensselaerite. sent14: the Champaign is not anaclinal if the fact that the blasphemer is not a alienee but it is sensible does not hold. sent15: something is not a honk if that it is anaclinal and is maternal does not hold.
void -> assump1: Let's assume that the fact that the blasphemer is not a alienee but it is sensible is not true.; sent14 & assump1 -> int1: the fact that the Champaign is not anaclinal is true.; int1 & sent11 -> int2: the fact that the distance is anaclinal and it is maternal does not hold.; sent15 -> int3: the distance is not a honk if the fact that it is anaclinal and maternal does not hold.; int2 & int3 -> int4: the distance is not a honk.; sent13 & sent10 -> int5: the pulque is a rensselaerite.; sent3 & int5 -> int6: the distance is a honk.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the blasphemer is not a alienee but sensible. ; $context$ = sent1: the pulque is a iguanodon. sent2: the distance is not a kind of a iguanodon. sent3: the distance is a honk if the pulque is a rensselaerite. sent4: if that something is a alienee and it is not insensible is wrong it is not maternal. sent5: if the Champaign is a rensselaerite then the pulque is anaclinal. sent6: the Slovene is anaclinal. sent7: the distance is a kind of a alienee. sent8: something is not sensible if it is not anaclinal. sent9: the Champaign is mucosal. sent10: the Slovene is a iguanodon. sent11: if the Champaign is not anaclinal then the fact that the distance is not anaclinal and not non-maternal is incorrect. sent12: the blasphemer is not a kind of a alienee but it is a rensselaerite. sent13: if the Slovene is a iguanodon the pulque is a rensselaerite. sent14: the Champaign is not anaclinal if the fact that the blasphemer is not a alienee but it is sensible does not hold. sent15: something is not a honk if that it is anaclinal and is maternal does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the blasphemer is not a alienee but it is sensible is not true.; sent14 & assump1 -> int1: the fact that the Champaign is not anaclinal is true.; int1 & sent11 -> int2: the fact that the distance is anaclinal and it is maternal does not hold.; sent15 -> int3: the distance is not a honk if the fact that it is anaclinal and maternal does not hold.; int2 & int3 -> int4: the distance is not a honk.; sent13 & sent10 -> int5: the pulque is a rensselaerite.; sent3 & int5 -> int6: the distance is a honk.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__