the Mattole is not a ski.
sent1: the dune is gymnospermous. sent2: the pond-skater is a kind of indiscriminate thing that is a V. sent3: the Mattole is gymnospermous a ski if something is not a Mozambican. sent4: the fact that the gummite is not a ski but it is muscular is not right. sent5: the fact that the gummite is not a V but it is gymnospermous is wrong. sent6: if the fact that the Mattole is not muscular but it is a V is not true then the gummite is not gymnospermous. sent7: the gummite is a Mozambican. sent8: there exists something such that it is muscular. sent9: that the Mattole is both non-Mozambican and a ski is incorrect. sent10: that the gummite is both not a V and muscular does not hold. sent11: the gummite is not muscular if the Mattole is a V. sent12: if the gummite is not a ski and it is not Mozambican then the Mattole is not a ski. sent13: if that the blackbody is not a ski but it is a V is false the gummite is not a Mozambican. sent14: if the gummite is gymnospermous then the Mattole is not muscular. sent15: the gummite does not ski if the fact that the Mattole is not a V and is gymnospermous does not hold. sent16: if something is not a kind of a V the fact that the Mattole is gymnospermous and muscular hold. sent17: the fact that the blackbody is not a kind of a Mozambican is not incorrect if that the gummite is not a V but it is muscular is false. sent18: there is something such that it is a kind of a Ping. sent19: if there exists something such that it does not ski then the fact that the Mattole is a kind of a Mozambican is not wrong. sent20: if there exists something such that it is non-gymnospermous the blackbody is a Mozambican. sent21: the Mattole is a kind of an aftershock. sent22: the gummite is muscular and skis if there is something such that it is not a V.
sent17 & sent10 -> int1: the fact that the blackbody is non-Mozambican hold.; int1 -> int2: something is not Mozambican.; int2 & sent3 -> int3: the Mattole is gymnospermous and it is a ski.; int3 -> hypothesis;
the Mattole does not ski.
$hypothesis$ = the Mattole is not a ski. ; $context$ = sent1: the dune is gymnospermous. sent2: the pond-skater is a kind of indiscriminate thing that is a V. sent3: the Mattole is gymnospermous a ski if something is not a Mozambican. sent4: the fact that the gummite is not a ski but it is muscular is not right. sent5: the fact that the gummite is not a V but it is gymnospermous is wrong. sent6: if the fact that the Mattole is not muscular but it is a V is not true then the gummite is not gymnospermous. sent7: the gummite is a Mozambican. sent8: there exists something such that it is muscular. sent9: that the Mattole is both non-Mozambican and a ski is incorrect. sent10: that the gummite is both not a V and muscular does not hold. sent11: the gummite is not muscular if the Mattole is a V. sent12: if the gummite is not a ski and it is not Mozambican then the Mattole is not a ski. sent13: if that the blackbody is not a ski but it is a V is false the gummite is not a Mozambican. sent14: if the gummite is gymnospermous then the Mattole is not muscular. sent15: the gummite does not ski if the fact that the Mattole is not a V and is gymnospermous does not hold. sent16: if something is not a kind of a V the fact that the Mattole is gymnospermous and muscular hold. sent17: the fact that the blackbody is not a kind of a Mozambican is not incorrect if that the gummite is not a V but it is muscular is false. sent18: there is something such that it is a kind of a Ping. sent19: if there exists something such that it does not ski then the fact that the Mattole is a kind of a Mozambican is not wrong. sent20: if there exists something such that it is non-gymnospermous the blackbody is a Mozambican. sent21: the Mattole is a kind of an aftershock. sent22: the gummite is muscular and skis if there is something such that it is not a V. ; $proof$ = 
sent17 & sent10 -> int1: the fact that the blackbody is non-Mozambican hold.; int1 -> int2: something is not Mozambican.; int2 & sent3 -> int3: the Mattole is gymnospermous and it is a ski.; int3 -> hypothesis; __DISPROVED__