the tobogganist is a Kumasi.
sent1: the squaretail is cervine a millidegree. sent2: if something is not deniable it ventilates tobogganist. sent3: that the dhal either is not a metacarpal or is not a used or both is not correct. sent4: if a Aborigine is a soupfin then it is not a Kumasi. sent5: the tobogganist does confer. sent6: if the tobogganist confers it is a soupfin. sent7: if that the dhal is not a kind of a metacarpal and/or it is not a used does not hold then the squaretail is undeniable. sent8: the tobogganist is a kind of a Aborigine if something that does ventilate tobogganist is a millidegree.
sent7 & sent3 -> int1: that the squaretail is undeniable hold.; sent2 -> int2: the squaretail does ventilate tobogganist if it is undeniable.; int1 & int2 -> int3: the squaretail ventilates tobogganist.; sent1 -> int4: the squaretail is a millidegree.; int3 & int4 -> int5: the squaretail does ventilate tobogganist and it is a kind of a millidegree.; int5 -> int6: there is something such that it does ventilate tobogganist and is a millidegree.; int6 & sent8 -> int7: the tobogganist is a kind of a Aborigine.; sent6 & sent5 -> int8: the tobogganist is a soupfin.; int7 & int8 -> int9: the tobogganist is a Aborigine and is a kind of a soupfin.; sent4 -> int10: the tobogganist is not a kind of a Kumasi if it is a Aborigine and it is a soupfin.; int9 & int10 -> hypothesis;
$hypothesis$ = the tobogganist is a Kumasi. ; $context$ = sent1: the squaretail is cervine a millidegree. sent2: if something is not deniable it ventilates tobogganist. sent3: that the dhal either is not a metacarpal or is not a used or both is not correct. sent4: if a Aborigine is a soupfin then it is not a Kumasi. sent5: the tobogganist does confer. sent6: if the tobogganist confers it is a soupfin. sent7: if that the dhal is not a kind of a metacarpal and/or it is not a used does not hold then the squaretail is undeniable. sent8: the tobogganist is a kind of a Aborigine if something that does ventilate tobogganist is a millidegree. ; $proof$ = 
sent7 & sent3 -> int1: that the squaretail is undeniable hold.; sent2 -> int2: the squaretail does ventilate tobogganist if it is undeniable.; int1 & int2 -> int3: the squaretail ventilates tobogganist.; sent1 -> int4: the squaretail is a millidegree.; int3 & int4 -> int5: the squaretail does ventilate tobogganist and it is a kind of a millidegree.; int5 -> int6: there is something such that it does ventilate tobogganist and is a millidegree.; int6 & sent8 -> int7: the tobogganist is a kind of a Aborigine.; sent6 & sent5 -> int8: the tobogganist is a soupfin.; int7 & int8 -> int9: the tobogganist is a Aborigine and is a kind of a soupfin.; sent4 -> int10: the tobogganist is not a kind of a Kumasi if it is a Aborigine and it is a soupfin.; int9 & int10 -> hypothesis; __DISPROVED__