that there exists something such that it is either a flasher or a lysogeny or both is false.
sent1: that if the Thessalian is repetitive a soap then that the twins is a flasher hold is not wrong. sent2: everything is not nonrepetitive and is a soap. sent3: something that is not a flasher does not prime twins and is a kind of a playtime. sent4: the fact that everything is not comparable is right. sent5: if something is a kind of a lysogeny then it is not a flasher.
sent2 -> int1: the Thessalian is repetitive thing that is a soap.; sent1 & int1 -> int2: the twins is a kind of a flasher.; int2 -> int3: the twins either is a kind of a flasher or is a kind of a lysogeny or both.; int3 -> hypothesis;
everything does not prime twins and it is a playtime.
sent5 -> int4: the twins is not a flasher if it is a kind of a lysogeny.; sent4 -> int5: the twins is not comparable.; sent3 -> int6: if the twins is not a flasher then it does not prime twins and it is a kind of a playtime.;
$hypothesis$ = that there exists something such that it is either a flasher or a lysogeny or both is false. ; $context$ = sent1: that if the Thessalian is repetitive a soap then that the twins is a flasher hold is not wrong. sent2: everything is not nonrepetitive and is a soap. sent3: something that is not a flasher does not prime twins and is a kind of a playtime. sent4: the fact that everything is not comparable is right. sent5: if something is a kind of a lysogeny then it is not a flasher. ; $proof$ = 
sent2 -> int1: the Thessalian is repetitive thing that is a soap.; sent1 & int1 -> int2: the twins is a kind of a flasher.; int2 -> int3: the twins either is a kind of a flasher or is a kind of a lysogeny or both.; int3 -> hypothesis; __DISPROVED__