that there is something such that if the fact that it is not sublittoral and is not geophysical is false then it is thalassic does not hold.
sent1: something is thalassic if the fact that it is geophysical is correct. sent2: if that something is not a kind of a Taif and it is not Britannic is not true it is a kind of a reproducer. sent3: there exists something such that if it is not sublittoral and it is not geophysical then it is thalassic. sent4: there is something such that if it is a kind of a partisan then that it is social hold. sent5: there exists something such that if that it is sublittoral and it is not geophysical is not right the fact that it is thalassic is right. sent6: if that the ski-plane is a pagan and does not disrespect restrictiveness is not right then it is thalassic. sent7: something is thalassic if that it is sublittoral and non-geophysical is false. sent8: if that something is not sublittoral and is not geophysical is not correct it is thalassic.
sent8 -> int1: if the fact that that the ski-plane is not sublittoral and is not geophysical does not hold is true it is not non-thalassic.; int1 -> hypothesis;
the Sclerotium is a reproducer if the fact that it is not a Taif and it is not Britannic does not hold.
sent2 -> hypothesis;
$hypothesis$ = that there is something such that if the fact that it is not sublittoral and is not geophysical is false then it is thalassic does not hold. ; $context$ = sent1: something is thalassic if the fact that it is geophysical is correct. sent2: if that something is not a kind of a Taif and it is not Britannic is not true it is a kind of a reproducer. sent3: there exists something such that if it is not sublittoral and it is not geophysical then it is thalassic. sent4: there is something such that if it is a kind of a partisan then that it is social hold. sent5: there exists something such that if that it is sublittoral and it is not geophysical is not right the fact that it is thalassic is right. sent6: if that the ski-plane is a pagan and does not disrespect restrictiveness is not right then it is thalassic. sent7: something is thalassic if that it is sublittoral and non-geophysical is false. sent8: if that something is not sublittoral and is not geophysical is not correct it is thalassic. ; $proof$ = 
sent8 -> int1: if the fact that that the ski-plane is not sublittoral and is not geophysical does not hold is true it is not non-thalassic.; int1 -> hypothesis; __DISPROVED__