the fruitcake is non-Albanian.
sent1: if that something thins and enfeebles taro does not hold then it is not thins. sent2: the amino is a periclase if that the Shintoist does not suffer Timorese is correct. sent3: if the agateware is not a kind of a periclase then the fact that it is indistinguishable and it is a Albanian is false. sent4: something does suffer Timorese and it is a kind of a periclase if it is non-thin. sent5: the fact that something does not suffer Timorese hold if the fact that it suffer Timorese and it enfeebles taro is incorrect. sent6: something that suffers Timorese is not a kind of a Albanian. sent7: the sierra is a kind of a Albanian. sent8: that the amino is a periclase and it is indistinguishable is not right. sent9: the agateware is not a kind of a Albanian. sent10: the fact that the agateware does thin and does enfeeble taro is not true if it is not indistinguishable. sent11: the agateware is not indistinguishable. sent12: the fruitcake is a kind of a Albanian if the Shintoist suffers Timorese. sent13: if the amino is a periclase then the agateware is thin.
void -> assump1: Let's assume that the fact that the Shintoist does not suffer Timorese is correct.; sent2 & assump1 -> int1: the amino is a periclase.; int1 & sent13 -> int2: the agateware is thin.; sent1 -> int3: the agateware does not thin if the fact that it is thin and does enfeeble taro is incorrect.; sent10 & sent11 -> int4: the fact that the agateware does thin and it enfeebles taro is not true.; int3 & int4 -> int5: the agateware is not thin.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the Shintoist suffers Timorese hold.; int7 & sent12 -> hypothesis;
the fruitcake is not a Albanian.
sent6 -> int8: if the fruitcake suffers Timorese it is not a kind of a Albanian.; sent4 -> int9: the Shintoist suffers Timorese and is a periclase if it is not thin.;
$hypothesis$ = the fruitcake is non-Albanian. ; $context$ = sent1: if that something thins and enfeebles taro does not hold then it is not thins. sent2: the amino is a periclase if that the Shintoist does not suffer Timorese is correct. sent3: if the agateware is not a kind of a periclase then the fact that it is indistinguishable and it is a Albanian is false. sent4: something does suffer Timorese and it is a kind of a periclase if it is non-thin. sent5: the fact that something does not suffer Timorese hold if the fact that it suffer Timorese and it enfeebles taro is incorrect. sent6: something that suffers Timorese is not a kind of a Albanian. sent7: the sierra is a kind of a Albanian. sent8: that the amino is a periclase and it is indistinguishable is not right. sent9: the agateware is not a kind of a Albanian. sent10: the fact that the agateware does thin and does enfeeble taro is not true if it is not indistinguishable. sent11: the agateware is not indistinguishable. sent12: the fruitcake is a kind of a Albanian if the Shintoist suffers Timorese. sent13: if the amino is a periclase then the agateware is thin. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Shintoist does not suffer Timorese is correct.; sent2 & assump1 -> int1: the amino is a periclase.; int1 & sent13 -> int2: the agateware is thin.; sent1 -> int3: the agateware does not thin if the fact that it is thin and does enfeeble taro is incorrect.; sent10 & sent11 -> int4: the fact that the agateware does thin and it enfeebles taro is not true.; int3 & int4 -> int5: the agateware is not thin.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the Shintoist suffers Timorese hold.; int7 & sent12 -> hypothesis; __DISPROVED__