the cock-a-leekie amends.
sent1: the fact that something is not a kind of a throw-in but it is a qibla does not hold if it is not a kind of a unnaturalness. sent2: something does not amend if it either does not amend or is a kind of a unnaturalness or both. sent3: the latchet is not a stipendiary if the zwieback does not stave skidpan. sent4: something is a stipendiary if that it is not a bray and is not boric is not correct. sent5: there exists something such that it is not a throw-in and it is a kind of a qibla. sent6: if there exists something such that the fact that it is not a throw-in and it is a kind of a qibla is false then the cock-a-leekie amends. sent7: the roost is not a unnaturalness if the latchet is not a bray but non-boric. sent8: if the fact that the zwieback is not a kind of a stipendiary is true the latchet is not stipendiary. sent9: the zwieback does not stave skidpan or is not stipendiary or both. sent10: if the latchet is not a kind of a bray that it is both not a qibla and stipendiary does not hold.
sent4 -> int1: the latchet is a stipendiary if the fact that it is not a bray and not boric is incorrect.; void -> assump1: Let's assume that the fact that the latchet does not bray and it is not boric is not right.; int1 & assump1 -> int2: the latchet is a stipendiary.; sent9 & sent3 & sent8 -> int3: the latchet is non-stipendiary.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the latchet is not a bray and it is non-boric.; int5 & sent7 -> int6: the roost is not a unnaturalness.; sent1 -> int7: that the roost is not a throw-in and is a qibla is not right if it is not a unnaturalness.; int6 & int7 -> int8: the fact that the roost is not a kind of a throw-in and is a kind of a qibla is not true.; int8 -> int9: there is something such that the fact that it is not a kind of a throw-in and is a qibla is not right.; int9 & sent6 -> hypothesis;
the cock-a-leekie does not amend.
sent2 -> int10: if the roost does not amend and/or is a kind of a unnaturalness it does not amend.;
$hypothesis$ = the cock-a-leekie amends. ; $context$ = sent1: the fact that something is not a kind of a throw-in but it is a qibla does not hold if it is not a kind of a unnaturalness. sent2: something does not amend if it either does not amend or is a kind of a unnaturalness or both. sent3: the latchet is not a stipendiary if the zwieback does not stave skidpan. sent4: something is a stipendiary if that it is not a bray and is not boric is not correct. sent5: there exists something such that it is not a throw-in and it is a kind of a qibla. sent6: if there exists something such that the fact that it is not a throw-in and it is a kind of a qibla is false then the cock-a-leekie amends. sent7: the roost is not a unnaturalness if the latchet is not a bray but non-boric. sent8: if the fact that the zwieback is not a kind of a stipendiary is true the latchet is not stipendiary. sent9: the zwieback does not stave skidpan or is not stipendiary or both. sent10: if the latchet is not a kind of a bray that it is both not a qibla and stipendiary does not hold. ; $proof$ = 
sent4 -> int1: the latchet is a stipendiary if the fact that it is not a bray and not boric is incorrect.; void -> assump1: Let's assume that the fact that the latchet does not bray and it is not boric is not right.; int1 & assump1 -> int2: the latchet is a stipendiary.; sent9 & sent3 & sent8 -> int3: the latchet is non-stipendiary.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the latchet is not a bray and it is non-boric.; int5 & sent7 -> int6: the roost is not a unnaturalness.; sent1 -> int7: that the roost is not a throw-in and is a qibla is not right if it is not a unnaturalness.; int6 & int7 -> int8: the fact that the roost is not a kind of a throw-in and is a kind of a qibla is not true.; int8 -> int9: there is something such that the fact that it is not a kind of a throw-in and is a qibla is not right.; int9 & sent6 -> hypothesis; __PROVED__