there is something such that if it is not cantonal that it is rocky thing that is unreal is false.
sent1: there is something such that if it does not theme scarab then the fact that it is anonymous and it is fleshy is not right. sent2: there is something such that if that it is not cantonal is not false it is rocky and it is unreal. sent3: the group is rocky and it is unreal if it is not cantonal. sent4: there is something such that if that it is cantonal is correct that it is rocky and unreal is not right. sent5: if something is cantonal the fact that it is both rocky and unreal is not correct. sent6: the fact that the nonsteroid is a conduit and rocky is wrong if it is not a Nanna. sent7: if the group is cantonal that it is rocky and it is unreal is wrong. sent8: something is rocky and it is unreal if it is not cantonal.
$hypothesis$ = there is something such that if it is not cantonal that it is rocky thing that is unreal is false. ; $context$ = sent1: there is something such that if it does not theme scarab then the fact that it is anonymous and it is fleshy is not right. sent2: there is something such that if that it is not cantonal is not false it is rocky and it is unreal. sent3: the group is rocky and it is unreal if it is not cantonal. sent4: there is something such that if that it is cantonal is correct that it is rocky and unreal is not right. sent5: if something is cantonal the fact that it is both rocky and unreal is not correct. sent6: the fact that the nonsteroid is a conduit and rocky is wrong if it is not a Nanna. sent7: if the group is cantonal that it is rocky and it is unreal is wrong. sent8: something is rocky and it is unreal if it is not cantonal. ; $proof$ = 
__UNKNOWN__