the Lutheran does not contribute rebroadcast.
sent1: if something is a kind of a vagrancy and it contributes rebroadcast then it is not insecure. sent2: there is something such that it compounds. sent3: the Lutheran contributes rebroadcast if the forequarter contributes rebroadcast. sent4: the diatomite is a vagrancy and is insecure if there is something such that it is not a kind of a college. sent5: the Lutheran does japan allotment. sent6: the Lutheran is a cockloft. sent7: if that the Lutheran is a cockloft and it does japan allotment is not false then it does not contribute rebroadcast. sent8: if that something is compounded is right the fact that the physiotherapist is not a college is correct. sent9: The allotment does japan Lutheran. sent10: the level japans allotment. sent11: something that does not japan allotment does contribute rebroadcast and is a cockloft.
sent6 & sent5 -> int1: the Lutheran is a cockloft and it japans allotment.; int1 & sent7 -> hypothesis;
if the poilu is a vagrancy and contributes rebroadcast then it is not insecure.
sent1 -> hypothesis;
$hypothesis$ = the Lutheran does not contribute rebroadcast. ; $context$ = sent1: if something is a kind of a vagrancy and it contributes rebroadcast then it is not insecure. sent2: there is something such that it compounds. sent3: the Lutheran contributes rebroadcast if the forequarter contributes rebroadcast. sent4: the diatomite is a vagrancy and is insecure if there is something such that it is not a kind of a college. sent5: the Lutheran does japan allotment. sent6: the Lutheran is a cockloft. sent7: if that the Lutheran is a cockloft and it does japan allotment is not false then it does not contribute rebroadcast. sent8: if that something is compounded is right the fact that the physiotherapist is not a college is correct. sent9: The allotment does japan Lutheran. sent10: the level japans allotment. sent11: something that does not japan allotment does contribute rebroadcast and is a cockloft. ; $proof$ = 
sent6 & sent5 -> int1: the Lutheran is a cockloft and it japans allotment.; int1 & sent7 -> hypothesis; __PROVED__