the rambler is both a flounce and a GHRF.
sent1: if the strings is not a velvetleaf the fact that it is both a sponge and a geminate is not true. sent2: that the fact that the rambler is a kind of a flounce and it is a GHRF does not hold hold if the mausoleum does not roll January. sent3: if the mausoleum does roll January it gossips. sent4: the rambler is a flounce if it is a sponge. sent5: there is something such that that it is aeromedical and not a velvetleaf does not hold. sent6: if there is something such that the fact that it is aeromedical and it is not a kind of a velvetleaf is incorrect then the rambler is a kind of a GHRF. sent7: if the mausoleum is a kind of a gossip that the sensitometer does geminate and is not a gossip does not hold. sent8: the fact that the mausoleum gossips and does not roll January is incorrect if the sensitometer does roll January. sent9: if something is not a sponge then that it is a kind of a gossip and it is not an alchemist is false. sent10: the mausoleum does roll January and it is an alchemist. sent11: the rambler sponges if that that the sensitometer is a kind of a geminate but it is not a gossip is false is right.
sent10 -> int1: the mausoleum rolls January.; int1 & sent3 -> int2: the mausoleum is a gossip.; int2 & sent7 -> int3: the fact that the sensitometer is a kind of a geminate but it is not a kind of a gossip does not hold.; int3 & sent11 -> int4: the rambler is a sponge.; int4 & sent4 -> int5: that the rambler does flounce is right.; sent5 & sent6 -> int6: the rambler is a GHRF.; int5 & int6 -> hypothesis;
the fact that the rambler does flounce and is a GHRF does not hold.
sent9 -> int7: the fact that the sensitometer is a gossip but not an alchemist is not true if it does not sponge.;
$hypothesis$ = the rambler is both a flounce and a GHRF. ; $context$ = sent1: if the strings is not a velvetleaf the fact that it is both a sponge and a geminate is not true. sent2: that the fact that the rambler is a kind of a flounce and it is a GHRF does not hold hold if the mausoleum does not roll January. sent3: if the mausoleum does roll January it gossips. sent4: the rambler is a flounce if it is a sponge. sent5: there is something such that that it is aeromedical and not a velvetleaf does not hold. sent6: if there is something such that the fact that it is aeromedical and it is not a kind of a velvetleaf is incorrect then the rambler is a kind of a GHRF. sent7: if the mausoleum is a kind of a gossip that the sensitometer does geminate and is not a gossip does not hold. sent8: the fact that the mausoleum gossips and does not roll January is incorrect if the sensitometer does roll January. sent9: if something is not a sponge then that it is a kind of a gossip and it is not an alchemist is false. sent10: the mausoleum does roll January and it is an alchemist. sent11: the rambler sponges if that that the sensitometer is a kind of a geminate but it is not a gossip is false is right. ; $proof$ = 
sent10 -> int1: the mausoleum rolls January.; int1 & sent3 -> int2: the mausoleum is a gossip.; int2 & sent7 -> int3: the fact that the sensitometer is a kind of a geminate but it is not a kind of a gossip does not hold.; int3 & sent11 -> int4: the rambler is a sponge.; int4 & sent4 -> int5: that the rambler does flounce is right.; sent5 & sent6 -> int6: the rambler is a GHRF.; int5 & int6 -> hypothesis; __PROVED__