the translation planks.
sent1: if something is a Thatcherism then the fact that it does not unionize stupid and it is not a high-mindedness is wrong. sent2: that the bob unionizes stupid is true if it is Sinhala. sent3: if the fact that the cuirass is non-aeromechanic and is not an example is false then the desideratum is not a high-mindedness. sent4: the bob is not non-Sinhala if the desideratum is not a high-mindedness. sent5: the fact that the translation is not a high-mindedness and does not unionize stupid does not hold. sent6: if the bob does unionize stupid that the translation does not unionize stupid and it is not a Thatcherism is not true. sent7: the fact that that the cuirass is not aeromechanic and is not an example does not hold hold. sent8: the cuirass is a plank if the desideratum plank. sent9: the desideratum is a plank if the bob plank. sent10: that the translation does not unionize stupid and is a Thatcherism is not right. sent11: if the cuirass does plank the fact that the translation is a plank is not wrong. sent12: if that the translation does not unionize stupid and is not a Thatcherism is incorrect then it is not a kind of a plank. sent13: that the translation does not unionize stupid but it is a Thatcherism is not right if the bob does unionize stupid.
sent3 & sent7 -> int1: the fact that the desideratum is not a high-mindedness hold.; int1 & sent4 -> int2: the bob is Sinhala.; int2 & sent2 -> int3: the bob does unionize stupid.; int3 & sent6 -> int4: that the translation does not unionize stupid and it is not a kind of a Thatcherism is wrong.; int4 & sent12 -> hypothesis;
the translation is a kind of a plank.
sent1 -> int5: the fact that the farmerette does not unionize stupid and is not a kind of a high-mindedness is not true if it is a kind of a Thatcherism.;
$hypothesis$ = the translation planks. ; $context$ = sent1: if something is a Thatcherism then the fact that it does not unionize stupid and it is not a high-mindedness is wrong. sent2: that the bob unionizes stupid is true if it is Sinhala. sent3: if the fact that the cuirass is non-aeromechanic and is not an example is false then the desideratum is not a high-mindedness. sent4: the bob is not non-Sinhala if the desideratum is not a high-mindedness. sent5: the fact that the translation is not a high-mindedness and does not unionize stupid does not hold. sent6: if the bob does unionize stupid that the translation does not unionize stupid and it is not a Thatcherism is not true. sent7: the fact that that the cuirass is not aeromechanic and is not an example does not hold hold. sent8: the cuirass is a plank if the desideratum plank. sent9: the desideratum is a plank if the bob plank. sent10: that the translation does not unionize stupid and is a Thatcherism is not right. sent11: if the cuirass does plank the fact that the translation is a plank is not wrong. sent12: if that the translation does not unionize stupid and is not a Thatcherism is incorrect then it is not a kind of a plank. sent13: that the translation does not unionize stupid but it is a Thatcherism is not right if the bob does unionize stupid. ; $proof$ = 
sent3 & sent7 -> int1: the fact that the desideratum is not a high-mindedness hold.; int1 & sent4 -> int2: the bob is Sinhala.; int2 & sent2 -> int3: the bob does unionize stupid.; int3 & sent6 -> int4: that the translation does not unionize stupid and it is not a kind of a Thatcherism is wrong.; int4 & sent12 -> hypothesis; __DISPROVED__