the Muscovite is not a filer.
sent1: The vanguard does not deafen formulation. sent2: if the formulation does deafen peeper and it is a cortege then the rubicelle does not deafen Muscovite. sent3: the fact that the weeds is a kind of a hilarity hold. sent4: the formulation deafens peeper if that it is non-associational thing that does not deafen Varese is correct. sent5: the formulation is non-associational thing that does not deafen Varese. sent6: if that the rubicelle does not deafen Muscovite is correct then the peristyle does not deafen Muscovite and it is not a hilarity. sent7: the Muscovite is not a filer and not a cortege if the formulation does not deafen peeper. sent8: the formulation does not deafen vanguard. sent9: something is a cortege that does not deafen vanguard. sent10: the Muscovite is a filer if something does not deafen Muscovite and is not a kind of a hilarity. sent11: the formulation is a cortege if it does not deafen vanguard.
sent4 & sent5 -> int1: the formulation does deafen peeper.; sent11 & sent8 -> int2: the formulation is a cortege.; int1 & int2 -> int3: the formulation does deafen peeper and it is a cortege.; int3 & sent2 -> int4: the rubicelle does not deafen Muscovite.; int4 & sent6 -> int5: the peristyle does not deafen Muscovite and is not a kind of a hilarity.; int5 -> int6: there is something such that it does not deafen Muscovite and it is not a kind of a hilarity.; int6 & sent10 -> hypothesis;
the Muscovite is not a filer.
$hypothesis$ = the Muscovite is not a filer. ; $context$ = sent1: The vanguard does not deafen formulation. sent2: if the formulation does deafen peeper and it is a cortege then the rubicelle does not deafen Muscovite. sent3: the fact that the weeds is a kind of a hilarity hold. sent4: the formulation deafens peeper if that it is non-associational thing that does not deafen Varese is correct. sent5: the formulation is non-associational thing that does not deafen Varese. sent6: if that the rubicelle does not deafen Muscovite is correct then the peristyle does not deafen Muscovite and it is not a hilarity. sent7: the Muscovite is not a filer and not a cortege if the formulation does not deafen peeper. sent8: the formulation does not deafen vanguard. sent9: something is a cortege that does not deafen vanguard. sent10: the Muscovite is a filer if something does not deafen Muscovite and is not a kind of a hilarity. sent11: the formulation is a cortege if it does not deafen vanguard. ; $proof$ = 
sent4 & sent5 -> int1: the formulation does deafen peeper.; sent11 & sent8 -> int2: the formulation is a cortege.; int1 & int2 -> int3: the formulation does deafen peeper and it is a cortege.; int3 & sent2 -> int4: the rubicelle does not deafen Muscovite.; int4 & sent6 -> int5: the peristyle does not deafen Muscovite and is not a kind of a hilarity.; int5 -> int6: there is something such that it does not deafen Muscovite and it is not a kind of a hilarity.; int6 & sent10 -> hypothesis; __DISPROVED__