the hedgehog does not crow nevirapine.
sent1: something does crow nevirapine if it is a carton. sent2: if the knockabout is not a overactivity the fact that the hedgehog is heterologous and it is a kind of a semiprofessional is not true. sent3: the napalm repents but it is not a kind of a carton. sent4: if the napalm is a kind of a overactivity then the knockabout is not a overactivity. sent5: the knockabout is not a carton if the napalm does repent and it is a carton. sent6: the fact that the hedgehog is both calyceal and a blitz is wrong if it does crow nevirapine. sent7: if the ZIP is lesser it is not heterologous and not a overactivity. sent8: something is finite and it repents if it is not a antipode. sent9: if the hedgehog does crow nevirapine then that it is not calyceal and it blitzes is incorrect. sent10: if the fact that that the hedgehog is non-calyceal and a blitz is not wrong does not hold then the knockabout is a carton. sent11: the fact that the hedgehog is calyceal and is a blitz is not right. sent12: the knockabout is not calyceal. sent13: the knockabout crows tocainide and is not a pestle. sent14: something is a carton if it is finite. sent15: something is not a antipode if the fact that it is heterologous and it is a semiprofessional is wrong. sent16: the napalm is a overactivity if the ZIP is not a overactivity. sent17: the napalm is not heterologous if the ZIP is a kind of non-heterologous thing that is not a overactivity. sent18: if the knockabout does not repent the hedgehog is not finite. sent19: if the hedgehog is calyceal then the fact that the knockabout is a carton is not wrong. sent20: the ZIP is not a overactivity if the batholith is a overactivity and lesser. sent21: the napalm is either not a antipode or not a semiprofessional or both if it is not heterologous. sent22: if the napalm repents and is not a carton the knockabout is not a kind of a carton.
void -> assump1: Let's assume that the hedgehog crows nevirapine.; sent9 & assump1 -> int1: the fact that the hedgehog is a kind of non-calyceal a blitz does not hold.; int1 & sent10 -> int2: the knockabout is a kind of a carton.; sent22 & sent3 -> int3: the knockabout is not a carton.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the hedgehog crows nevirapine.
sent1 -> int5: if the hedgehog is a kind of a carton it crows nevirapine.; sent14 -> int6: the hedgehog is a carton if the fact that it is finite hold.; sent8 -> int7: the hedgehog is finite and it does repent if it is not a antipode.; sent15 -> int8: the hedgehog is not a antipode if the fact that it is heterologous and it is a kind of a semiprofessional is incorrect.;
$hypothesis$ = the hedgehog does not crow nevirapine. ; $context$ = sent1: something does crow nevirapine if it is a carton. sent2: if the knockabout is not a overactivity the fact that the hedgehog is heterologous and it is a kind of a semiprofessional is not true. sent3: the napalm repents but it is not a kind of a carton. sent4: if the napalm is a kind of a overactivity then the knockabout is not a overactivity. sent5: the knockabout is not a carton if the napalm does repent and it is a carton. sent6: the fact that the hedgehog is both calyceal and a blitz is wrong if it does crow nevirapine. sent7: if the ZIP is lesser it is not heterologous and not a overactivity. sent8: something is finite and it repents if it is not a antipode. sent9: if the hedgehog does crow nevirapine then that it is not calyceal and it blitzes is incorrect. sent10: if the fact that that the hedgehog is non-calyceal and a blitz is not wrong does not hold then the knockabout is a carton. sent11: the fact that the hedgehog is calyceal and is a blitz is not right. sent12: the knockabout is not calyceal. sent13: the knockabout crows tocainide and is not a pestle. sent14: something is a carton if it is finite. sent15: something is not a antipode if the fact that it is heterologous and it is a semiprofessional is wrong. sent16: the napalm is a overactivity if the ZIP is not a overactivity. sent17: the napalm is not heterologous if the ZIP is a kind of non-heterologous thing that is not a overactivity. sent18: if the knockabout does not repent the hedgehog is not finite. sent19: if the hedgehog is calyceal then the fact that the knockabout is a carton is not wrong. sent20: the ZIP is not a overactivity if the batholith is a overactivity and lesser. sent21: the napalm is either not a antipode or not a semiprofessional or both if it is not heterologous. sent22: if the napalm repents and is not a carton the knockabout is not a kind of a carton. ; $proof$ = 
void -> assump1: Let's assume that the hedgehog crows nevirapine.; sent9 & assump1 -> int1: the fact that the hedgehog is a kind of non-calyceal a blitz does not hold.; int1 & sent10 -> int2: the knockabout is a kind of a carton.; sent22 & sent3 -> int3: the knockabout is not a carton.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__