that there is something such that that it is not a fondler and not a style is not correct is incorrect.
sent1: the catfish is not a style. sent2: if the catfish is not a fondler and it does not style then it is not fossiliferous. sent3: if there is something such that that it is a tubeless that is not outdoors does not hold the poseuse does sprint. sent4: if the catfish is not fossiliferous the poseuse does not sprint. sent5: that that the heart is a tubeless and non-outdoors is right is not correct.
void -> assump1: Let's assume that the catfish is both not a fondler and not a style.; sent2 & assump1 -> int1: the catfish is not fossiliferous.; int1 & sent4 -> int2: the poseuse does not sprint.; sent5 -> int3: there is something such that the fact that it is tubeless thing that is not outdoors is incorrect.; int3 & sent3 -> int4: the poseuse sprints.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the catfish is both not a fondler and not a style does not hold.; int6 -> hypothesis;
$hypothesis$ = that there is something such that that it is not a fondler and not a style is not correct is incorrect. ; $context$ = sent1: the catfish is not a style. sent2: if the catfish is not a fondler and it does not style then it is not fossiliferous. sent3: if there is something such that that it is a tubeless that is not outdoors does not hold the poseuse does sprint. sent4: if the catfish is not fossiliferous the poseuse does not sprint. sent5: that that the heart is a tubeless and non-outdoors is right is not correct. ; $proof$ = 
void -> assump1: Let's assume that the catfish is both not a fondler and not a style.; sent2 & assump1 -> int1: the catfish is not fossiliferous.; int1 & sent4 -> int2: the poseuse does not sprint.; sent5 -> int3: there is something such that the fact that it is tubeless thing that is not outdoors is incorrect.; int3 & sent3 -> int4: the poseuse sprints.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the catfish is both not a fondler and not a style does not hold.; int6 -> hypothesis; __DISPROVED__