the musician does untune gentianella.
sent1: the musician untunes Cody and/or it is a kind of a zero if the gentianella does not filter. sent2: something is a zero. sent3: The roundhouse does not debar company. sent4: the gentianella untunes gentianella. sent5: there exists something such that it does untune gentianella. sent6: that the gentianella is a kind of a Chilean and is prismatic is not correct. sent7: if the fact that the gentianella is a Chilean and it is prismatic is incorrect then it is not other. sent8: something that debars roundhouse is a filter. sent9: the fact that something is a kind of non-auditory thing that does not debar roundhouse is not right if it is not other. sent10: the musician zeroes. sent11: the company does not debar roundhouse. sent12: the gentianella is not zero. sent13: if a zero does untune gentianella that the gentianella does not untune Cody is true. sent14: the conditioner debars roundhouse if the company does not debars roundhouse and is not other. sent15: something untunes Cody and does debar roundhouse. sent16: there are auditory things. sent17: the conditioner does not filter if the gentianella does not untune Cody. sent18: the gentianella does not debar roundhouse if the company is auditory. sent19: either the musician untunes gentianella or it does untune Cody or both if the gentianella is non-zero. sent20: the conditioner does not untune gentianella if that the musician does not debar roundhouse is not wrong. sent21: that the company is not other is right if there exists something such that it is auditory.
void -> assump1: Let's assume that the musician does untune gentianella.; sent10 & assump1 -> int1: the musician is zero thing that does untune gentianella.; int1 -> int2: something is a kind of zero thing that does untune gentianella.; int2 & sent13 -> int3: the gentianella does not untune Cody.; int3 & sent17 -> int4: the conditioner is not a filter.; sent8 -> int5: the conditioner is a kind of a filter if it debars roundhouse.; sent16 & sent21 -> int6: the company is not other.; sent11 & int6 -> int7: the company does not debar roundhouse and is not other.; sent14 & int7 -> int8: the conditioner debars roundhouse.; int5 & int8 -> int9: the conditioner filters.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the musician does untune gentianella.
sent9 -> int11: if the gentianella is not other that it is not auditory and it does not debar roundhouse is wrong.; sent7 & sent6 -> int12: the gentianella is not other.; int11 & int12 -> int13: the fact that the gentianella is non-auditory and it does not debar roundhouse is not correct.;
$hypothesis$ = the musician does untune gentianella. ; $context$ = sent1: the musician untunes Cody and/or it is a kind of a zero if the gentianella does not filter. sent2: something is a zero. sent3: The roundhouse does not debar company. sent4: the gentianella untunes gentianella. sent5: there exists something such that it does untune gentianella. sent6: that the gentianella is a kind of a Chilean and is prismatic is not correct. sent7: if the fact that the gentianella is a Chilean and it is prismatic is incorrect then it is not other. sent8: something that debars roundhouse is a filter. sent9: the fact that something is a kind of non-auditory thing that does not debar roundhouse is not right if it is not other. sent10: the musician zeroes. sent11: the company does not debar roundhouse. sent12: the gentianella is not zero. sent13: if a zero does untune gentianella that the gentianella does not untune Cody is true. sent14: the conditioner debars roundhouse if the company does not debars roundhouse and is not other. sent15: something untunes Cody and does debar roundhouse. sent16: there are auditory things. sent17: the conditioner does not filter if the gentianella does not untune Cody. sent18: the gentianella does not debar roundhouse if the company is auditory. sent19: either the musician untunes gentianella or it does untune Cody or both if the gentianella is non-zero. sent20: the conditioner does not untune gentianella if that the musician does not debar roundhouse is not wrong. sent21: that the company is not other is right if there exists something such that it is auditory. ; $proof$ = 
void -> assump1: Let's assume that the musician does untune gentianella.; sent10 & assump1 -> int1: the musician is zero thing that does untune gentianella.; int1 -> int2: something is a kind of zero thing that does untune gentianella.; int2 & sent13 -> int3: the gentianella does not untune Cody.; int3 & sent17 -> int4: the conditioner is not a filter.; sent8 -> int5: the conditioner is a kind of a filter if it debars roundhouse.; sent16 & sent21 -> int6: the company is not other.; sent11 & int6 -> int7: the company does not debar roundhouse and is not other.; sent14 & int7 -> int8: the conditioner debars roundhouse.; int5 & int8 -> int9: the conditioner filters.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__