the candlepins is a kind of a Arabian.
sent1: something does harangue wonderberry if that it does not upload Hart and it does ferment IDDM is not correct. sent2: if that the sideroblast is a kind of a Raja that is outing is not right then it is not outing. sent3: the fact that that the candlepins does not uncoil fatso and/or it is a Hartford is not false is wrong if the sideroblast is not a Hartford. sent4: the sideroblast is an outing if it harangues wonderberry. sent5: if something is a kind of a Hartford then that it does not upload Hart and ferments IDDM does not hold. sent6: that the sideroblast is both non-outing and not non-Arabian is wrong if it is a Raja. sent7: the fact that the sideroblast is a Raja and it is an outing is not right. sent8: the candlepins is a Hartford if it does upload Hart. sent9: something is a Arabian if the fact that the fact that it does not uncoil fatso or it is a kind of a Hartford or both is not wrong does not hold. sent10: if the maildrop does not harangue wonderberry and is outing then the candlepins outing. sent11: the komondor is not a Arabian if the fact that it is a kind of homonymic a Arabian is wrong.
sent5 -> int1: if the sideroblast is a Hartford that it does not upload Hart and ferments IDDM is not correct.; void -> assump1: Let's assume that the sideroblast is a Hartford.; int1 & assump1 -> int2: the fact that the sideroblast does not upload Hart and ferments IDDM is not true.; sent1 -> int3: the sideroblast does harangue wonderberry if the fact that it does not upload Hart and it does ferment IDDM is incorrect.; int2 & int3 -> int4: the sideroblast harangues wonderberry.; int4 & sent4 -> int5: the sideroblast is a kind of an outing.; sent2 & sent7 -> int6: the sideroblast is not an outing.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the sideroblast is not a Hartford.; int8 & sent3 -> int9: that the candlepins does not uncoil fatso and/or is a Hartford is not right.; sent9 -> int10: if the fact that the candlepins does not uncoil fatso and/or is a Hartford does not hold it is a kind of a Arabian.; int9 & int10 -> hypothesis;
the candlepins outs.
$hypothesis$ = the candlepins is a kind of a Arabian. ; $context$ = sent1: something does harangue wonderberry if that it does not upload Hart and it does ferment IDDM is not correct. sent2: if that the sideroblast is a kind of a Raja that is outing is not right then it is not outing. sent3: the fact that that the candlepins does not uncoil fatso and/or it is a Hartford is not false is wrong if the sideroblast is not a Hartford. sent4: the sideroblast is an outing if it harangues wonderberry. sent5: if something is a kind of a Hartford then that it does not upload Hart and ferments IDDM does not hold. sent6: that the sideroblast is both non-outing and not non-Arabian is wrong if it is a Raja. sent7: the fact that the sideroblast is a Raja and it is an outing is not right. sent8: the candlepins is a Hartford if it does upload Hart. sent9: something is a Arabian if the fact that the fact that it does not uncoil fatso or it is a kind of a Hartford or both is not wrong does not hold. sent10: if the maildrop does not harangue wonderberry and is outing then the candlepins outing. sent11: the komondor is not a Arabian if the fact that it is a kind of homonymic a Arabian is wrong. ; $proof$ = 
sent5 -> int1: if the sideroblast is a Hartford that it does not upload Hart and ferments IDDM is not correct.; void -> assump1: Let's assume that the sideroblast is a Hartford.; int1 & assump1 -> int2: the fact that the sideroblast does not upload Hart and ferments IDDM is not true.; sent1 -> int3: the sideroblast does harangue wonderberry if the fact that it does not upload Hart and it does ferment IDDM is incorrect.; int2 & int3 -> int4: the sideroblast harangues wonderberry.; int4 & sent4 -> int5: the sideroblast is a kind of an outing.; sent2 & sent7 -> int6: the sideroblast is not an outing.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the sideroblast is not a Hartford.; int8 & sent3 -> int9: that the candlepins does not uncoil fatso and/or is a Hartford is not right.; sent9 -> int10: if the fact that the candlepins does not uncoil fatso and/or is a Hartford does not hold it is a kind of a Arabian.; int9 & int10 -> hypothesis; __PROVED__