the lightship is not an audio.
sent1: if there exists something such that that it is both not a gala and addictive is incorrect then the lightship is an audio. sent2: the lightship is a kind of an audio if something is a gala. sent3: something is continual. sent4: something is not a kind of a gala but it is addictive. sent5: if something is continual then the fact that the perpendicular is not a gala and is addictive is wrong.
sent3 & sent5 -> int1: the fact that the perpendicular is not a gala but addictive is not right.; int1 -> int2: there exists something such that that it is not a gala and is addictive is not correct.; int2 & sent1 -> hypothesis;
$hypothesis$ = the lightship is not an audio. ; $context$ = sent1: if there exists something such that that it is both not a gala and addictive is incorrect then the lightship is an audio. sent2: the lightship is a kind of an audio if something is a gala. sent3: something is continual. sent4: something is not a kind of a gala but it is addictive. sent5: if something is continual then the fact that the perpendicular is not a gala and is addictive is wrong. ; $proof$ = 
sent3 & sent5 -> int1: the fact that the perpendicular is not a gala but addictive is not right.; int1 -> int2: there exists something such that that it is not a gala and is addictive is not correct.; int2 & sent1 -> hypothesis; __DISPROVED__