the methyltestosterone is a kind of a lame.
sent1: if the cytolysin is not a OMB then it does not hoard Savitar. sent2: the cytolysin does not shelter praetor. sent3: the methyltestosterone is not a kind of a lame if the cytolysin hoards Savitar and is not a lame. sent4: if the cytolysin is a OMB the stegosaur is a kind of non-Chaldean thing that wires urochord. sent5: the cytolysin is not a jument. sent6: the gazebo does not shelter offal if there is something such that it is a kind of a jument. sent7: if something is not a malformation the fact that it does hoard Savitar and is a OMB is wrong. sent8: if the gazebo is not a jument but it is a Tyche that the offal is a malformation is right. sent9: the cytolysin is not a OMB if there exists something such that the fact that it is not a jument and it is not a kind of a Tyche is incorrect. sent10: if there is something such that it does not shelter praetor and it does shelter offal the cytolysin hoards Savitar. sent11: that the offal is not a kind of a reverse is correct if something is a kind of a malformation. sent12: the offal is a malformation if the gazebo is both not a jument and not a Tyche. sent13: the urochord does not shelter praetor but it does shelter offal. sent14: if something that does shelter praetor shelters offal then it is not a malformation. sent15: if the offal is a malformation then the methyltestosterone is a lame.
void -> assump1: Let's assume that that the gazebo is not a jument and it is not a Tyche is not true.; assump1 -> int1: there is something such that the fact that it is not a jument and is not a Tyche is not correct.; int1 & sent9 -> int2: the cytolysin is not a OMB.; int2 & sent1 -> int3: the cytolysin does not hoard Savitar.; sent13 -> int4: something does not shelter praetor but it does shelter offal.; int4 & sent10 -> int5: the cytolysin does hoard Savitar.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gazebo is not a jument and it is not a Tyche.; int7 & sent12 -> int8: the offal is a kind of a malformation.; int8 & sent15 -> hypothesis;
the methyltestosterone is not a kind of a lame.
sent14 -> int9: if the offal shelters praetor and does shelter offal it is not a malformation.; sent7 -> int10: if the offal is not a malformation then that it hoards Savitar and is a OMB does not hold.;
$hypothesis$ = the methyltestosterone is a kind of a lame. ; $context$ = sent1: if the cytolysin is not a OMB then it does not hoard Savitar. sent2: the cytolysin does not shelter praetor. sent3: the methyltestosterone is not a kind of a lame if the cytolysin hoards Savitar and is not a lame. sent4: if the cytolysin is a OMB the stegosaur is a kind of non-Chaldean thing that wires urochord. sent5: the cytolysin is not a jument. sent6: the gazebo does not shelter offal if there is something such that it is a kind of a jument. sent7: if something is not a malformation the fact that it does hoard Savitar and is a OMB is wrong. sent8: if the gazebo is not a jument but it is a Tyche that the offal is a malformation is right. sent9: the cytolysin is not a OMB if there exists something such that the fact that it is not a jument and it is not a kind of a Tyche is incorrect. sent10: if there is something such that it does not shelter praetor and it does shelter offal the cytolysin hoards Savitar. sent11: that the offal is not a kind of a reverse is correct if something is a kind of a malformation. sent12: the offal is a malformation if the gazebo is both not a jument and not a Tyche. sent13: the urochord does not shelter praetor but it does shelter offal. sent14: if something that does shelter praetor shelters offal then it is not a malformation. sent15: if the offal is a malformation then the methyltestosterone is a lame. ; $proof$ = 
void -> assump1: Let's assume that that the gazebo is not a jument and it is not a Tyche is not true.; assump1 -> int1: there is something such that the fact that it is not a jument and is not a Tyche is not correct.; int1 & sent9 -> int2: the cytolysin is not a OMB.; int2 & sent1 -> int3: the cytolysin does not hoard Savitar.; sent13 -> int4: something does not shelter praetor but it does shelter offal.; int4 & sent10 -> int5: the cytolysin does hoard Savitar.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gazebo is not a jument and it is not a Tyche.; int7 & sent12 -> int8: the offal is a kind of a malformation.; int8 & sent15 -> hypothesis; __PROVED__