the fact that the Piper is not wigless but it is a leptocephalus does not hold.
sent1: that the shrine is a kind of a leptocephalus is true. sent2: if something is not a greenery then that the fact that it is wigged thing that is a kind of a leptocephalus is right is not correct. sent3: the shrine does not stoke. sent4: the shrine does not stoke if it is not a greenery. sent5: the Piper is a kind of a leptocephalus. sent6: if that the shrine is not a telpherage and/or it does stoke is false it does not animate. sent7: the fact that something is not a telpherage and/or it does stoke is not right if it is not a greenery. sent8: that that the laetrile falters is incorrect hold. sent9: the Piper is a leptocephalus if the follicle is wigless. sent10: something does not stoke if it is not a kind of a greenery. sent11: the fact that the laetrile does falter hold if the shrine is a kind of a greenery. sent12: if the boxcars fits ecliptic the follicle is wigless. sent13: if the shrine is not animated the boxcars does fit ecliptic. sent14: something that does falter is not a leptocephalus and is a greenery. sent15: the pulley does falter if that it is not a kind of a telpherage and does not stoke is not true. sent16: the shrine is a ironworker. sent17: if the follicle is wigless the Piper is not wigless and is a leptocephalus.
void -> assump1: Let's assume that that the shrine is a greenery is not wrong.; sent11 & assump1 -> int1: the laetrile falters.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the shrine is not a greenery.; sent7 -> int4: that the shrine either is not a telpherage or stokes or both does not hold if it is not a greenery.; int3 & int4 -> int5: the fact that the shrine is not a telpherage or does stoke or both is not true.; int5 & sent6 -> int6: the shrine is not animated.; int6 & sent13 -> int7: the boxcars fits ecliptic.; int7 & sent12 -> int8: the follicle is wigless.; int8 & sent17 -> hypothesis;
the pulley is not a leptocephalus.
sent14 -> int9: if the pulley falters then the fact that it is not a kind of a leptocephalus and it is a greenery is not wrong.;
$hypothesis$ = the fact that the Piper is not wigless but it is a leptocephalus does not hold. ; $context$ = sent1: that the shrine is a kind of a leptocephalus is true. sent2: if something is not a greenery then that the fact that it is wigged thing that is a kind of a leptocephalus is right is not correct. sent3: the shrine does not stoke. sent4: the shrine does not stoke if it is not a greenery. sent5: the Piper is a kind of a leptocephalus. sent6: if that the shrine is not a telpherage and/or it does stoke is false it does not animate. sent7: the fact that something is not a telpherage and/or it does stoke is not right if it is not a greenery. sent8: that that the laetrile falters is incorrect hold. sent9: the Piper is a leptocephalus if the follicle is wigless. sent10: something does not stoke if it is not a kind of a greenery. sent11: the fact that the laetrile does falter hold if the shrine is a kind of a greenery. sent12: if the boxcars fits ecliptic the follicle is wigless. sent13: if the shrine is not animated the boxcars does fit ecliptic. sent14: something that does falter is not a leptocephalus and is a greenery. sent15: the pulley does falter if that it is not a kind of a telpherage and does not stoke is not true. sent16: the shrine is a ironworker. sent17: if the follicle is wigless the Piper is not wigless and is a leptocephalus. ; $proof$ = 
void -> assump1: Let's assume that that the shrine is a greenery is not wrong.; sent11 & assump1 -> int1: the laetrile falters.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the shrine is not a greenery.; sent7 -> int4: that the shrine either is not a telpherage or stokes or both does not hold if it is not a greenery.; int3 & int4 -> int5: the fact that the shrine is not a telpherage or does stoke or both is not true.; int5 & sent6 -> int6: the shrine is not animated.; int6 & sent13 -> int7: the boxcars fits ecliptic.; int7 & sent12 -> int8: the follicle is wigless.; int8 & sent17 -> hypothesis; __DISPROVED__