the banjo is not ungrateful.
sent1: if something is non-colorful thing that does not sound farrier then it does sound invulnerability. sent2: the kolkhoznik is not phrasal. sent3: the banjo is colorful. sent4: if the kolkhoznik is not phrasal the fact that it is not persistent and it is a down does not hold. sent5: if the kolkhoznik is not colorful the nuclease is not phrasal. sent6: the mainsail sounds banjo. sent7: the kolkhoznik is either ungrateful or phrasal or both. sent8: the nuclease is a kind of non-colorful thing that does not sound farrier if the mainsail does not sound farrier. sent9: the mainsail sounds farrier if that it is not a kind of a tebibit and it does sound invulnerability is wrong. sent10: the banjo is ungrateful if it is persistent. sent11: that the banjo does not destain boustrophedon but it does sound banjo is not true. sent12: if the kolkhoznik does sound banjo and/or it is not a tebibit the banjo does not sound farrier. sent13: if the mainsail is a kind of a tebibit and/or it does not sound farrier then the kolkhoznik does not down. sent14: either the thallus destains boustrophedon or it is not a tebibit or both if the kolkhoznik is a tebibit. sent15: if the fact that something is not persistent but it is a down does not hold it is a tebibit. sent16: if the thallus destains boustrophedon or it is not a tebibit or both then the mainsail does not sound farrier. sent17: something that is not ungrateful but phrasal is colorful. sent18: the fact that the nuclease does not destain boustrophedon but it is persistent is not correct if the fact that it does not sound invulnerability is not false. sent19: if something does sound banjo then it is ungrateful. sent20: that the kolkhoznik is phrasal is not incorrect if it is non-colorful thing that is not a kind of a tebibit. sent21: the fact that the nuclease is ungrateful hold. sent22: the mainsail is colorful. sent23: the kolkhoznik does not sound farrier if the nuclease does not sound farrier. sent24: the banjo does sound banjo if the nuclease does sound invulnerability. sent25: the kolkhoznik is not a beachhead. sent26: if the thallus is a kind of a tebibit it is not non-persistent. sent27: the nuclease sounds invulnerability if it is not a kind of a tebibit and it does destain boustrophedon. sent28: the kolkhoznik is persistent and/or it does not sound invulnerability.
sent15 -> int1: if the fact that the kolkhoznik is not persistent but a down is not correct then it is a kind of a tebibit.; sent4 & sent2 -> int2: that the kolkhoznik is non-persistent thing that does down does not hold.; int1 & int2 -> int3: that the kolkhoznik is a tebibit is correct.; int3 & sent14 -> int4: the thallus does destain boustrophedon or is not a tebibit or both.; int4 & sent16 -> int5: the mainsail does not sound farrier.; int5 & sent8 -> int6: the nuclease is not colorful and it does not sound farrier.; sent1 -> int7: the nuclease does sound invulnerability if it is not colorful and does not sound farrier.; int6 & int7 -> int8: the nuclease does sound invulnerability.; int8 & sent24 -> int9: that the banjo sounds banjo is right.; sent19 -> int10: the banjo is ungrateful if it does sound banjo.; int9 & int10 -> hypothesis;
$hypothesis$ = the banjo is not ungrateful. ; $context$ = sent1: if something is non-colorful thing that does not sound farrier then it does sound invulnerability. sent2: the kolkhoznik is not phrasal. sent3: the banjo is colorful. sent4: if the kolkhoznik is not phrasal the fact that it is not persistent and it is a down does not hold. sent5: if the kolkhoznik is not colorful the nuclease is not phrasal. sent6: the mainsail sounds banjo. sent7: the kolkhoznik is either ungrateful or phrasal or both. sent8: the nuclease is a kind of non-colorful thing that does not sound farrier if the mainsail does not sound farrier. sent9: the mainsail sounds farrier if that it is not a kind of a tebibit and it does sound invulnerability is wrong. sent10: the banjo is ungrateful if it is persistent. sent11: that the banjo does not destain boustrophedon but it does sound banjo is not true. sent12: if the kolkhoznik does sound banjo and/or it is not a tebibit the banjo does not sound farrier. sent13: if the mainsail is a kind of a tebibit and/or it does not sound farrier then the kolkhoznik does not down. sent14: either the thallus destains boustrophedon or it is not a tebibit or both if the kolkhoznik is a tebibit. sent15: if the fact that something is not persistent but it is a down does not hold it is a tebibit. sent16: if the thallus destains boustrophedon or it is not a tebibit or both then the mainsail does not sound farrier. sent17: something that is not ungrateful but phrasal is colorful. sent18: the fact that the nuclease does not destain boustrophedon but it is persistent is not correct if the fact that it does not sound invulnerability is not false. sent19: if something does sound banjo then it is ungrateful. sent20: that the kolkhoznik is phrasal is not incorrect if it is non-colorful thing that is not a kind of a tebibit. sent21: the fact that the nuclease is ungrateful hold. sent22: the mainsail is colorful. sent23: the kolkhoznik does not sound farrier if the nuclease does not sound farrier. sent24: the banjo does sound banjo if the nuclease does sound invulnerability. sent25: the kolkhoznik is not a beachhead. sent26: if the thallus is a kind of a tebibit it is not non-persistent. sent27: the nuclease sounds invulnerability if it is not a kind of a tebibit and it does destain boustrophedon. sent28: the kolkhoznik is persistent and/or it does not sound invulnerability. ; $proof$ = 
sent15 -> int1: if the fact that the kolkhoznik is not persistent but a down is not correct then it is a kind of a tebibit.; sent4 & sent2 -> int2: that the kolkhoznik is non-persistent thing that does down does not hold.; int1 & int2 -> int3: that the kolkhoznik is a tebibit is correct.; int3 & sent14 -> int4: the thallus does destain boustrophedon or is not a tebibit or both.; int4 & sent16 -> int5: the mainsail does not sound farrier.; int5 & sent8 -> int6: the nuclease is not colorful and it does not sound farrier.; sent1 -> int7: the nuclease does sound invulnerability if it is not colorful and does not sound farrier.; int6 & int7 -> int8: the nuclease does sound invulnerability.; int8 & sent24 -> int9: that the banjo sounds banjo is right.; sent19 -> int10: the banjo is ungrateful if it does sound banjo.; int9 & int10 -> hypothesis; __DISPROVED__