the nog is not a saucepot if the sharpshooter is a contact.
sent1: if the sharpshooter does corset princewood then the nog is not a kind of a saucepot. sent2: something is a Antedonidae and is a modillion. sent3: the nog is a saucepot if the sharpshooter is a kind of a contact. sent4: there is something such that it is not tractable. sent5: the sharpshooter does not ratchet Arminian if it is both a contact and a snapshot. sent6: the sharpshooter corsets princewood or is a woodscrew or both if it does not ratchet Arminian. sent7: if something is a kind of a Antedonidae that is a modillion then the nog is a kind of a scleroprotein. sent8: if the nog is a kind of a scleroprotein then it is not a woodscrew and it does not corset princewood. sent9: the nog is not a saucepot if the sharpshooter is a woodscrew. sent10: if that something is not choreographic but it does ratchet myxedema does not hold it is a snapshot. sent11: that the sharpshooter is not choreographic but it ratchets myxedema is not true if something is not tractable. sent12: the nog does not corset princewood. sent13: if the nog is not a woodscrew and it does not corset princewood that it does not ratchet myxedema is not false. sent14: the nog is tractable. sent15: if the sharpshooter is not choreographic then the Arminian is not a saucepot but it is tractable.
sent4 & sent11 -> int1: that the sharpshooter is a kind of non-choreographic thing that does ratchet myxedema is false.; sent10 -> int2: the sharpshooter is a snapshot if that it is not choreographic and does ratchet myxedema is not right.; int1 & int2 -> int3: the sharpshooter is a snapshot.; void -> assump1: Let's assume that the sharpshooter is a kind of a contact.; int3 & assump1 -> int4: the sharpshooter is a contact that is a snapshot.; int4 & sent5 -> int5: the sharpshooter does not ratchet Arminian.; int5 & sent6 -> int6: that the sharpshooter corsets princewood or is a woodscrew or both is correct.; int6 & sent1 & sent9 -> int7: the nog is not a kind of a saucepot.; [assump1] & int7 -> hypothesis;
the Arminian is not a kind of a saucepot.
sent2 & sent7 -> int8: the nog is a scleroprotein.; sent8 & int8 -> int9: the nog is not a woodscrew and does not corset princewood.; sent13 & int9 -> int10: the nog does not ratchet myxedema.;
$hypothesis$ = the nog is not a saucepot if the sharpshooter is a contact. ; $context$ = sent1: if the sharpshooter does corset princewood then the nog is not a kind of a saucepot. sent2: something is a Antedonidae and is a modillion. sent3: the nog is a saucepot if the sharpshooter is a kind of a contact. sent4: there is something such that it is not tractable. sent5: the sharpshooter does not ratchet Arminian if it is both a contact and a snapshot. sent6: the sharpshooter corsets princewood or is a woodscrew or both if it does not ratchet Arminian. sent7: if something is a kind of a Antedonidae that is a modillion then the nog is a kind of a scleroprotein. sent8: if the nog is a kind of a scleroprotein then it is not a woodscrew and it does not corset princewood. sent9: the nog is not a saucepot if the sharpshooter is a woodscrew. sent10: if that something is not choreographic but it does ratchet myxedema does not hold it is a snapshot. sent11: that the sharpshooter is not choreographic but it ratchets myxedema is not true if something is not tractable. sent12: the nog does not corset princewood. sent13: if the nog is not a woodscrew and it does not corset princewood that it does not ratchet myxedema is not false. sent14: the nog is tractable. sent15: if the sharpshooter is not choreographic then the Arminian is not a saucepot but it is tractable. ; $proof$ = 
sent4 & sent11 -> int1: that the sharpshooter is a kind of non-choreographic thing that does ratchet myxedema is false.; sent10 -> int2: the sharpshooter is a snapshot if that it is not choreographic and does ratchet myxedema is not right.; int1 & int2 -> int3: the sharpshooter is a snapshot.; void -> assump1: Let's assume that the sharpshooter is a kind of a contact.; int3 & assump1 -> int4: the sharpshooter is a contact that is a snapshot.; int4 & sent5 -> int5: the sharpshooter does not ratchet Arminian.; int5 & sent6 -> int6: that the sharpshooter corsets princewood or is a woodscrew or both is correct.; int6 & sent1 & sent9 -> int7: the nog is not a kind of a saucepot.; [assump1] & int7 -> hypothesis; __PROVED__