the pillory is not a kind of a plunge.
sent1: if something is a loch and is not tibial then it is a Mexico. sent2: the headlight is a loch but it is not tibial if there exists something such that it is atonic. sent3: if something is a loch and it is tibial it is a Mexico. sent4: there is something such that it is atonic. sent5: the botulin either is not a Mexico or tinges Herzberg or both if the headlight is a kind of a Mexico. sent6: if the downfall is not a plunge it is a loch but not a sliding. sent7: the pillory is a kind of non-atonic thing that does fence if it is not a belly. sent8: if the botulin does tinge Herzberg then the headlight does not tinge Herzberg and/or is a Mexico. sent9: if the botulin does tinge Herzberg the pillory does not plunge. sent10: the pillory does not plunge if either the botulin is not a Mexico or it tinges Herzberg or both. sent11: the pillory does not tinge Herzberg if it is not atonic and is a kind of a fence.
sent1 -> int1: the headlight is a Mexico if it is a loch and non-tibial.; sent4 & sent2 -> int2: the headlight is a loch and is not tibial.; int1 & int2 -> int3: the headlight is a Mexico.; int3 & sent5 -> int4: the botulin is not a Mexico or tinges Herzberg or both.; int4 & sent10 -> hypothesis;
the downfall is a kind of a loch that is not a sliding.
$hypothesis$ = the pillory is not a kind of a plunge. ; $context$ = sent1: if something is a loch and is not tibial then it is a Mexico. sent2: the headlight is a loch but it is not tibial if there exists something such that it is atonic. sent3: if something is a loch and it is tibial it is a Mexico. sent4: there is something such that it is atonic. sent5: the botulin either is not a Mexico or tinges Herzberg or both if the headlight is a kind of a Mexico. sent6: if the downfall is not a plunge it is a loch but not a sliding. sent7: the pillory is a kind of non-atonic thing that does fence if it is not a belly. sent8: if the botulin does tinge Herzberg then the headlight does not tinge Herzberg and/or is a Mexico. sent9: if the botulin does tinge Herzberg the pillory does not plunge. sent10: the pillory does not plunge if either the botulin is not a Mexico or it tinges Herzberg or both. sent11: the pillory does not tinge Herzberg if it is not atonic and is a kind of a fence. ; $proof$ = 
sent1 -> int1: the headlight is a Mexico if it is a loch and non-tibial.; sent4 & sent2 -> int2: the headlight is a loch and is not tibial.; int1 & int2 -> int3: the headlight is a Mexico.; int3 & sent5 -> int4: the botulin is not a Mexico or tinges Herzberg or both.; int4 & sent10 -> hypothesis; __PROVED__