that there exists something such that if it is a mujahidin it is not a Larus and it protuberates Senor is not true.
sent1: the Coke is not macrobiotic but it is a mujahidin if it is a kind of a GMT. sent2: something is a Larus that protuberates Senor if the fact that it is a mujahidin is not incorrect. sent3: there exists something such that if it is a feed then it is not a Rimbaud but variable. sent4: there is something such that if it is a kind of a mujahidin it is a kind of a Larus that protuberates Senor. sent5: if the fireplug waves push-bike it is not a kind of a European and does protuberate Senor. sent6: if the pseudoscorpion accelerates symbolist it is not a sexagenarian and does protuberate Senor. sent7: if the fact that the Coke is a mujahidin is true then it protuberates Senor. sent8: there is something such that if it does piece it does not wave Coke and it is a monoclonal. sent9: the Coke is a Larus and it protuberates Senor if it is a mujahidin. sent10: if something is a mujahidin then it protuberates Senor. sent11: if something is a mujahidin then it is not a Larus and it does protuberate Senor. sent12: there is something such that if it is a mujahidin it does protuberate Senor. sent13: there is something such that if it does ambulate it is both not non-isothermic and dictyopteran.
sent11 -> int1: if the Coke is a kind of a mujahidin then it is not a kind of a Larus and protuberates Senor.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is a mujahidin it is not a Larus and it protuberates Senor is not true. ; $context$ = sent1: the Coke is not macrobiotic but it is a mujahidin if it is a kind of a GMT. sent2: something is a Larus that protuberates Senor if the fact that it is a mujahidin is not incorrect. sent3: there exists something such that if it is a feed then it is not a Rimbaud but variable. sent4: there is something such that if it is a kind of a mujahidin it is a kind of a Larus that protuberates Senor. sent5: if the fireplug waves push-bike it is not a kind of a European and does protuberate Senor. sent6: if the pseudoscorpion accelerates symbolist it is not a sexagenarian and does protuberate Senor. sent7: if the fact that the Coke is a mujahidin is true then it protuberates Senor. sent8: there is something such that if it does piece it does not wave Coke and it is a monoclonal. sent9: the Coke is a Larus and it protuberates Senor if it is a mujahidin. sent10: if something is a mujahidin then it protuberates Senor. sent11: if something is a mujahidin then it is not a Larus and it does protuberate Senor. sent12: there is something such that if it is a mujahidin it does protuberate Senor. sent13: there is something such that if it does ambulate it is both not non-isothermic and dictyopteran. ; $proof$ = 
sent11 -> int1: if the Coke is a kind of a mujahidin then it is not a kind of a Larus and protuberates Senor.; int1 -> hypothesis; __DISPROVED__