the cock-a-leekie is a bush.
sent1: if the tamer is not alkylic then the blue is not a snowblindness. sent2: there is something such that that it sparkles send-off and it does investigate hock does not hold. sent3: that that the tamer does not sparkle SACLANT but it is transuranic is wrong if there is something such that it is transuranic hold. sent4: the corticosterone is transuranic. sent5: that the blue is a kind of a snowblindness is true if there exists something such that it does not investigate hock. sent6: if there is something such that it is alkylic and is transuranic the cock-a-leekie is not a kind of a bush. sent7: if something is transuranic then that the tamer does not sparkle SACLANT and is not transuranic is wrong. sent8: if the fact that something does not sparkle SACLANT and it is not transuranic is incorrect then it is transuranic. sent9: if there exists something such that that it sparkles send-off and it does investigate hock is false the blue is a snowblindness.
void -> assump1: Let's assume that the tamer is not alkylic.; sent1 & assump1 -> int1: that the blue is not a snowblindness hold.; sent2 & sent9 -> int2: the blue is a snowblindness.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tamer is alkylic.; sent8 -> int5: the tamer is transuranic if that it does not sparkle SACLANT and it is not transuranic is incorrect.; sent4 -> int6: there exists something such that it is transuranic.; int6 & sent7 -> int7: that the tamer does not sparkle SACLANT and it is not transuranic is not correct.; int5 & int7 -> int8: the tamer is transuranic.; int4 & int8 -> int9: the tamer is alkylic and is not non-transuranic.; int9 -> int10: something is alkylic and it is transuranic.; int10 & sent6 -> hypothesis;
$hypothesis$ = the cock-a-leekie is a bush. ; $context$ = sent1: if the tamer is not alkylic then the blue is not a snowblindness. sent2: there is something such that that it sparkles send-off and it does investigate hock does not hold. sent3: that that the tamer does not sparkle SACLANT but it is transuranic is wrong if there is something such that it is transuranic hold. sent4: the corticosterone is transuranic. sent5: that the blue is a kind of a snowblindness is true if there exists something such that it does not investigate hock. sent6: if there is something such that it is alkylic and is transuranic the cock-a-leekie is not a kind of a bush. sent7: if something is transuranic then that the tamer does not sparkle SACLANT and is not transuranic is wrong. sent8: if the fact that something does not sparkle SACLANT and it is not transuranic is incorrect then it is transuranic. sent9: if there exists something such that that it sparkles send-off and it does investigate hock is false the blue is a snowblindness. ; $proof$ = 
void -> assump1: Let's assume that the tamer is not alkylic.; sent1 & assump1 -> int1: that the blue is not a snowblindness hold.; sent2 & sent9 -> int2: the blue is a snowblindness.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tamer is alkylic.; sent8 -> int5: the tamer is transuranic if that it does not sparkle SACLANT and it is not transuranic is incorrect.; sent4 -> int6: there exists something such that it is transuranic.; int6 & sent7 -> int7: that the tamer does not sparkle SACLANT and it is not transuranic is not correct.; int5 & int7 -> int8: the tamer is transuranic.; int4 & int8 -> int9: the tamer is alkylic and is not non-transuranic.; int9 -> int10: something is alkylic and it is transuranic.; int10 & sent6 -> hypothesis; __DISPROVED__