the Congregationalist does hand kilogram.
sent1: something is unrestrictive and is not communicative if it is a Asin. sent2: the fact that the whistle is not communicative is true. sent3: the Congregationalist hands kilogram if the colt is profane. sent4: if the whistle is unrestrictive then the cockney is tuberculate. sent5: the ventilation is a Asin that is not a photosensitivity. sent6: if the conversion is a kind of a Asin that the whistle is a Asin is correct. sent7: the whistle is not communicative if that it is a Asin is right. sent8: if something is not tuberculate it does hand kilogram and is a Asin. sent9: something that is a Asin is not communicative. sent10: the fact that the conversion is a kind of a Asin hold. sent11: if that the cockney is not tuberculate is not right the colt is profane.
sent1 -> int1: the whistle is unrestrictive and is not communicative if it is a Asin.; sent6 & sent10 -> int2: the whistle is a Asin.; int1 & int2 -> int3: the whistle is not restrictive but uncommunicative.; int3 -> int4: the whistle is unrestrictive.; int4 & sent4 -> int5: the cockney is tuberculate.; int5 & sent11 -> int6: the colt is profane.; int6 & sent3 -> hypothesis;
the Bahraini does hand kilogram.
sent8 -> int7: if the cockney is not tuberculate then it does hand kilogram and it is a Asin.;
$hypothesis$ = the Congregationalist does hand kilogram. ; $context$ = sent1: something is unrestrictive and is not communicative if it is a Asin. sent2: the fact that the whistle is not communicative is true. sent3: the Congregationalist hands kilogram if the colt is profane. sent4: if the whistle is unrestrictive then the cockney is tuberculate. sent5: the ventilation is a Asin that is not a photosensitivity. sent6: if the conversion is a kind of a Asin that the whistle is a Asin is correct. sent7: the whistle is not communicative if that it is a Asin is right. sent8: if something is not tuberculate it does hand kilogram and is a Asin. sent9: something that is a Asin is not communicative. sent10: the fact that the conversion is a kind of a Asin hold. sent11: if that the cockney is not tuberculate is not right the colt is profane. ; $proof$ = 
sent1 -> int1: the whistle is unrestrictive and is not communicative if it is a Asin.; sent6 & sent10 -> int2: the whistle is a Asin.; int1 & int2 -> int3: the whistle is not restrictive but uncommunicative.; int3 -> int4: the whistle is unrestrictive.; int4 & sent4 -> int5: the cockney is tuberculate.; int5 & sent11 -> int6: the colt is profane.; int6 & sent3 -> hypothesis; __PROVED__