the switchblade is not a detribalization.
sent1: if the broody is a kind of a checkout the fact that the torero is a shiv is correct. sent2: the torero is non-multiple thing that does not serenade patented. sent3: the torero is a pomology. sent4: that the rain does coordinate grater is correct if it does not serenade sciolism and it is not a kind of a pomology. sent5: if the torero considers catchment then the rain does not serenade sciolism and is not a pomology. sent6: the broody is a shiv. sent7: something serenades Burhinus if it does coordinate grater. sent8: if something is a checkout that the powderer is a shiv and it is a southeaster is not correct. sent9: if there is something such that it is a waltz the thermoplastic does not consider whaler. sent10: if the fact that something does not marvel but it is bracteate is false then it is not bracteate. sent11: the rain does not consider catchment if something is not a southeaster and is not a kind of an echo. sent12: if something that is not a gossip is not a debut then it is Mormon. sent13: if the fact that something does not consider whaler is correct then the whaler is both rough and a checkout. sent14: if the spinner is a Mormon the broody does not echo and it does not serenade Burhinus. sent15: if there exists something such that it does not harshen sparid that the race does not marvel but it is bracteate is not true. sent16: the broody serenades Burhinus and/or it is a checkout. sent17: if the torero does consider catchment then the rain is not a pomology. sent18: the switchblade is not a kind of a detribalization if the torero is a kind of a shiv and does not consider catchment. sent19: if the caster is not non-calceolate then the rat-catcher does not harshen sparid. sent20: the caster is calceolate. sent21: that the rain is not a pomology hold. sent22: the torero coordinates grater or it is a kind of a detribalization or both if the rain does not consider catchment. sent23: if something coordinates grater the fact that it is a southeaster is not wrong. sent24: the broody is not a kind of a southeaster if that the powderer is a kind of a shiv and is a southeaster is false. sent25: if the broody serenades Burhinus then the torero is a shiv. sent26: the catchment is a waltz and it is a A-list if the race is non-bracteate. sent27: if the torero coordinates grater the switchblade is a kind of a detribalization. sent28: the rain is not a kind of an echo.
void -> assump1: Let's assume that the torero does consider catchment.; sent5 & assump1 -> int1: the rain does not serenade sciolism and is not a pomology.; int1 & sent4 -> int2: the rain coordinates grater.; sent23 -> int3: the rain is a kind of a southeaster if it coordinates grater.; int2 & int3 -> int4: the rain is a kind of a southeaster.; sent16 & sent25 & sent1 -> int5: the fact that the torero is a kind of a shiv is right.;
the switchblade is a detribalization.
sent10 -> int6: the race is not bracteate if that it does not marvel and it is bracteate is not true.; sent19 & sent20 -> int7: the rat-catcher does not harshen sparid.; int7 -> int8: there is something such that it does not harshen sparid.; int8 & sent15 -> int9: the fact that the race does not marvel but it is bracteate is not right.; int6 & int9 -> int10: the race is not bracteate.; sent26 & int10 -> int11: the catchment is a waltz and is a A-list.; int11 -> int12: the catchment is a waltz.; int12 -> int13: something does waltz.; int13 & sent9 -> int14: the thermoplastic does not consider whaler.; int14 -> int15: there exists something such that it does not consider whaler.; int15 & sent13 -> int16: the whaler is rough and it is a checkout.; int16 -> int17: the whaler is a checkout.; int17 -> int18: there exists something such that it is a checkout.; int18 & sent8 -> int19: the fact that the powderer is a shiv and it is a southeaster is not correct.; sent24 & int19 -> int20: the broody is not a southeaster.; sent12 -> int21: the spinner is a Mormon if it does not gossip and does not debut.;
$hypothesis$ = the switchblade is not a detribalization. ; $context$ = sent1: if the broody is a kind of a checkout the fact that the torero is a shiv is correct. sent2: the torero is non-multiple thing that does not serenade patented. sent3: the torero is a pomology. sent4: that the rain does coordinate grater is correct if it does not serenade sciolism and it is not a kind of a pomology. sent5: if the torero considers catchment then the rain does not serenade sciolism and is not a pomology. sent6: the broody is a shiv. sent7: something serenades Burhinus if it does coordinate grater. sent8: if something is a checkout that the powderer is a shiv and it is a southeaster is not correct. sent9: if there is something such that it is a waltz the thermoplastic does not consider whaler. sent10: if the fact that something does not marvel but it is bracteate is false then it is not bracteate. sent11: the rain does not consider catchment if something is not a southeaster and is not a kind of an echo. sent12: if something that is not a gossip is not a debut then it is Mormon. sent13: if the fact that something does not consider whaler is correct then the whaler is both rough and a checkout. sent14: if the spinner is a Mormon the broody does not echo and it does not serenade Burhinus. sent15: if there exists something such that it does not harshen sparid that the race does not marvel but it is bracteate is not true. sent16: the broody serenades Burhinus and/or it is a checkout. sent17: if the torero does consider catchment then the rain is not a pomology. sent18: the switchblade is not a kind of a detribalization if the torero is a kind of a shiv and does not consider catchment. sent19: if the caster is not non-calceolate then the rat-catcher does not harshen sparid. sent20: the caster is calceolate. sent21: that the rain is not a pomology hold. sent22: the torero coordinates grater or it is a kind of a detribalization or both if the rain does not consider catchment. sent23: if something coordinates grater the fact that it is a southeaster is not wrong. sent24: the broody is not a kind of a southeaster if that the powderer is a kind of a shiv and is a southeaster is false. sent25: if the broody serenades Burhinus then the torero is a shiv. sent26: the catchment is a waltz and it is a A-list if the race is non-bracteate. sent27: if the torero coordinates grater the switchblade is a kind of a detribalization. sent28: the rain is not a kind of an echo. ; $proof$ = 
void -> assump1: Let's assume that the torero does consider catchment.; sent5 & assump1 -> int1: the rain does not serenade sciolism and is not a pomology.; int1 & sent4 -> int2: the rain coordinates grater.; sent23 -> int3: the rain is a kind of a southeaster if it coordinates grater.; int2 & int3 -> int4: the rain is a kind of a southeaster.; sent16 & sent25 & sent1 -> int5: the fact that the torero is a kind of a shiv is right.; __UNKNOWN__