there is something such that if it does subject physiology then it does not reflect.
sent1: if the swimmer is not a kind of a coextension and does not narrate physiology the curio is footless. sent2: the swimmer does not narrate physiology. sent3: if something is footless and does subject physiology it does not reflect. sent4: something that is a regular is eastern. sent5: there is something such that that it is not a tete-a-tete and does not narrate Galician is false. sent6: if there exists something such that the fact that it is not a kind of a tete-a-tete and does not narrate Galician is incorrect then the hornblende is a kind of a regular. sent7: if the hornblende is eastern then the swimmer is not a kind of a coextension and does not narrate physiology. sent8: if the curio narrates physiology the swimmer does not subject physiology. sent9: the swimmer is tragicomic.
sent5 & sent6 -> int1: the hornblende is a regular.; sent4 -> int2: the hornblende is eastern if it is a regular.; int1 & int2 -> int3: the hornblende is eastern.; int3 & sent7 -> int4: the swimmer is not a coextension and does not narrate physiology.; int4 & sent1 -> int5: the curio is footless.; void -> assump1: Let's assume that the curio subjects physiology.; int5 & assump1 -> int6: the curio is a kind of footless thing that does subject physiology.; sent3 -> int7: the curio does not reflect if it is footless thing that does subject physiology.; int6 & int7 -> int8: the curio does not reflect.; [assump1] & int8 -> int9: the curio does not reflect if it does subject physiology.; int9 -> hypothesis;
$hypothesis$ = there is something such that if it does subject physiology then it does not reflect. ; $context$ = sent1: if the swimmer is not a kind of a coextension and does not narrate physiology the curio is footless. sent2: the swimmer does not narrate physiology. sent3: if something is footless and does subject physiology it does not reflect. sent4: something that is a regular is eastern. sent5: there is something such that that it is not a tete-a-tete and does not narrate Galician is false. sent6: if there exists something such that the fact that it is not a kind of a tete-a-tete and does not narrate Galician is incorrect then the hornblende is a kind of a regular. sent7: if the hornblende is eastern then the swimmer is not a kind of a coextension and does not narrate physiology. sent8: if the curio narrates physiology the swimmer does not subject physiology. sent9: the swimmer is tragicomic. ; $proof$ = 
sent5 & sent6 -> int1: the hornblende is a regular.; sent4 -> int2: the hornblende is eastern if it is a regular.; int1 & int2 -> int3: the hornblende is eastern.; int3 & sent7 -> int4: the swimmer is not a coextension and does not narrate physiology.; int4 & sent1 -> int5: the curio is footless.; void -> assump1: Let's assume that the curio subjects physiology.; int5 & assump1 -> int6: the curio is a kind of footless thing that does subject physiology.; sent3 -> int7: the curio does not reflect if it is footless thing that does subject physiology.; int6 & int7 -> int8: the curio does not reflect.; [assump1] & int8 -> int9: the curio does not reflect if it does subject physiology.; int9 -> hypothesis; __PROVED__