the zapper is not a kind of an extraterrestrial.
sent1: if a non-chiromantic thing is suborbital it is not an extraterrestrial. sent2: if the pichiciago is a thaneship then the fact that the zapper is unconscientious is not wrong. sent3: something is non-chiromantic and it is not suborbital if it is unconscientious. sent4: something that is not a thaneship and is suborbital is conscientious. sent5: the pichiciago is a thaneship. sent6: the zapper is a thaneship if the pichiciago is chiromantic. sent7: something that is not a thaneship but extraterrestrial is not suborbital. sent8: if that the zapper is unconscientious is not false it is not suborbital. sent9: if something is unconscientious then that it is not a thaneship hold. sent10: the pichiciago is not unconscientious and it does not deprive telecommunication. sent11: if something is non-chiromantic and it is not suborbital then it is not an extraterrestrial. sent12: the phosphocreatine is not unconscientious.
sent3 -> int1: if the zapper is unconscientious then it is non-chiromantic thing that is not suborbital.; sent2 & sent5 -> int2: that the zapper is unconscientious hold.; int1 & int2 -> int3: the zapper is non-chiromantic and is not suborbital.; sent11 -> int4: the zapper is not a kind of an extraterrestrial if it is both not chiromantic and not suborbital.; int3 & int4 -> hypothesis;
$hypothesis$ = the zapper is not a kind of an extraterrestrial. ; $context$ = sent1: if a non-chiromantic thing is suborbital it is not an extraterrestrial. sent2: if the pichiciago is a thaneship then the fact that the zapper is unconscientious is not wrong. sent3: something is non-chiromantic and it is not suborbital if it is unconscientious. sent4: something that is not a thaneship and is suborbital is conscientious. sent5: the pichiciago is a thaneship. sent6: the zapper is a thaneship if the pichiciago is chiromantic. sent7: something that is not a thaneship but extraterrestrial is not suborbital. sent8: if that the zapper is unconscientious is not false it is not suborbital. sent9: if something is unconscientious then that it is not a thaneship hold. sent10: the pichiciago is not unconscientious and it does not deprive telecommunication. sent11: if something is non-chiromantic and it is not suborbital then it is not an extraterrestrial. sent12: the phosphocreatine is not unconscientious. ; $proof$ = 
sent3 -> int1: if the zapper is unconscientious then it is non-chiromantic thing that is not suborbital.; sent2 & sent5 -> int2: that the zapper is unconscientious hold.; int1 & int2 -> int3: the zapper is non-chiromantic and is not suborbital.; sent11 -> int4: the zapper is not a kind of an extraterrestrial if it is both not chiromantic and not suborbital.; int3 & int4 -> hypothesis; __PROVED__