the Edda is glottochronological.
sent1: the speaker is a Frisbee if the escapement is a Frisbee. sent2: the Edda is not glottochronological if the gallows-tree is a quibbler and it perseveres. sent3: the escapement does not stow maintenance. sent4: the aerialist does stow maintenance. sent5: if the speaker does persevere then the gallows-tree persevere. sent6: everything is not a Frisbee. sent7: the fact that the fact that the Edda does not stow maintenance is wrong is not wrong. sent8: if the speaker perseveres the gallows-tree is a lowercase. sent9: the speaker perseveres if it is lowercase. sent10: the speaker is not non-lowercase. sent11: the escapement does gallop. sent12: the speaker fences and is a censor. sent13: something that is not a Frisbee is a kind of non-papillate thing that does stow cripple. sent14: that something perseveres and it is a Frisbee is not correct if it is not lowercase. sent15: the fact that the Argonaut does not stow maintenance hold. sent16: if the fact that the escapement is a tartrate is right the thallophyte does stow maintenance. sent17: the fact that the gallows-tree is a kind of a quibbler is correct if the thallophyte stows maintenance. sent18: the fact that that something is non-papillate thing that stows cripple is incorrect if it is not a tartrate is not wrong.
sent18 -> int1: if the escapement is not a kind of a tartrate the fact that it is non-papillate thing that does stow cripple does not hold.; void -> assump1: Let's assume that the escapement is not a kind of a tartrate.; int1 & assump1 -> int2: the fact that the fact that the escapement is a kind of non-papillate thing that stows cripple is not correct is right.; sent13 -> int3: if the escapement is not a Frisbee then it is a kind of non-papillate thing that does stow cripple.; sent6 -> int4: that the escapement is not a kind of a Frisbee is correct.; int3 & int4 -> int5: the escapement is not papillate but it stows cripple.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the escapement is a tartrate.; int7 & sent16 -> int8: that the thallophyte does stow maintenance is true.; int8 & sent17 -> int9: the gallows-tree is a kind of a quibbler.; sent9 & sent10 -> int10: the speaker perseveres.; sent5 & int10 -> int11: the gallows-tree perseveres.; int9 & int11 -> int12: the gallows-tree does quibble and perseveres.; int12 & sent2 -> hypothesis;
$hypothesis$ = the Edda is glottochronological. ; $context$ = sent1: the speaker is a Frisbee if the escapement is a Frisbee. sent2: the Edda is not glottochronological if the gallows-tree is a quibbler and it perseveres. sent3: the escapement does not stow maintenance. sent4: the aerialist does stow maintenance. sent5: if the speaker does persevere then the gallows-tree persevere. sent6: everything is not a Frisbee. sent7: the fact that the fact that the Edda does not stow maintenance is wrong is not wrong. sent8: if the speaker perseveres the gallows-tree is a lowercase. sent9: the speaker perseveres if it is lowercase. sent10: the speaker is not non-lowercase. sent11: the escapement does gallop. sent12: the speaker fences and is a censor. sent13: something that is not a Frisbee is a kind of non-papillate thing that does stow cripple. sent14: that something perseveres and it is a Frisbee is not correct if it is not lowercase. sent15: the fact that the Argonaut does not stow maintenance hold. sent16: if the fact that the escapement is a tartrate is right the thallophyte does stow maintenance. sent17: the fact that the gallows-tree is a kind of a quibbler is correct if the thallophyte stows maintenance. sent18: the fact that that something is non-papillate thing that stows cripple is incorrect if it is not a tartrate is not wrong. ; $proof$ = 
sent18 -> int1: if the escapement is not a kind of a tartrate the fact that it is non-papillate thing that does stow cripple does not hold.; void -> assump1: Let's assume that the escapement is not a kind of a tartrate.; int1 & assump1 -> int2: the fact that the fact that the escapement is a kind of non-papillate thing that stows cripple is not correct is right.; sent13 -> int3: if the escapement is not a Frisbee then it is a kind of non-papillate thing that does stow cripple.; sent6 -> int4: that the escapement is not a kind of a Frisbee is correct.; int3 & int4 -> int5: the escapement is not papillate but it stows cripple.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the escapement is a tartrate.; int7 & sent16 -> int8: that the thallophyte does stow maintenance is true.; int8 & sent17 -> int9: the gallows-tree is a kind of a quibbler.; sent9 & sent10 -> int10: the speaker perseveres.; sent5 & int10 -> int11: the gallows-tree perseveres.; int9 & int11 -> int12: the gallows-tree does quibble and perseveres.; int12 & sent2 -> hypothesis; __DISPROVED__