that the macrame is a kind of non-colors thing that is not a tallith does not hold.
sent1: something that is atonal colors. sent2: the macrame is not a kind of a colors and it is not a kind of a tallith if the hangover colors. sent3: the saturniid is impermanent if the Ugandan is not a tramontane but it exults. sent4: the mattock is not a heroics and not atonal if the hangover is a heroics. sent5: the Ugandan is non-tramontane thing that exults if the fact that the mattock is a heroics is right. sent6: the macrame is not a colors if that the hangover is a colors is right. sent7: the fact that the hangover is impermanent is not incorrect. sent8: the hangover is atonal if the saturniid is thinkable. sent9: the mattock is a heroics. sent10: if the mattock is a kind of a heroics then the Ugandan does exult. sent11: something is not a heroics if either it is a end-plate or it is not impermanent or both. sent12: there is something such that the fact that it is non-unaggressive a colors is not correct. sent13: if the saturniid is impermanent it is a end-plate. sent14: if the fact that something is both impermanent and not atonal does not hold then it is atonal. sent15: the mattock is not impermanent if that the Ugandan is either a end-plate or not heroics or both does not hold. sent16: if the fact that something is a end-plate hold it is thinkable.
sent5 & sent9 -> int1: the Ugandan is not a tramontane but it does exult.; int1 & sent3 -> int2: the saturniid is impermanent.; int2 & sent13 -> int3: the fact that the saturniid is a end-plate hold.; sent16 -> int4: the saturniid is thinkable if it is a end-plate.; int3 & int4 -> int5: the saturniid is not unthinkable.; int5 & sent8 -> int6: the hangover is atonal.; sent1 -> int7: the hangover is a kind of a colors if it is atonal.; int6 & int7 -> int8: the hangover is a kind of a colors.; int8 & sent2 -> hypothesis;
the fact that the macrame is not colors and it is not a tallith is not right.
sent11 -> int9: the mattock is not a heroics if it is a end-plate and/or permanent.;
$hypothesis$ = that the macrame is a kind of non-colors thing that is not a tallith does not hold. ; $context$ = sent1: something that is atonal colors. sent2: the macrame is not a kind of a colors and it is not a kind of a tallith if the hangover colors. sent3: the saturniid is impermanent if the Ugandan is not a tramontane but it exults. sent4: the mattock is not a heroics and not atonal if the hangover is a heroics. sent5: the Ugandan is non-tramontane thing that exults if the fact that the mattock is a heroics is right. sent6: the macrame is not a colors if that the hangover is a colors is right. sent7: the fact that the hangover is impermanent is not incorrect. sent8: the hangover is atonal if the saturniid is thinkable. sent9: the mattock is a heroics. sent10: if the mattock is a kind of a heroics then the Ugandan does exult. sent11: something is not a heroics if either it is a end-plate or it is not impermanent or both. sent12: there is something such that the fact that it is non-unaggressive a colors is not correct. sent13: if the saturniid is impermanent it is a end-plate. sent14: if the fact that something is both impermanent and not atonal does not hold then it is atonal. sent15: the mattock is not impermanent if that the Ugandan is either a end-plate or not heroics or both does not hold. sent16: if the fact that something is a end-plate hold it is thinkable. ; $proof$ = 
sent5 & sent9 -> int1: the Ugandan is not a tramontane but it does exult.; int1 & sent3 -> int2: the saturniid is impermanent.; int2 & sent13 -> int3: the fact that the saturniid is a end-plate hold.; sent16 -> int4: the saturniid is thinkable if it is a end-plate.; int3 & int4 -> int5: the saturniid is not unthinkable.; int5 & sent8 -> int6: the hangover is atonal.; sent1 -> int7: the hangover is a kind of a colors if it is atonal.; int6 & int7 -> int8: the hangover is a kind of a colors.; int8 & sent2 -> hypothesis; __DISPROVED__