the daphne is not a Merovingian.
sent1: the daphne dangles joust and is not a jacksmelt. sent2: if the daphne does not assist it is a kind of a jacksmelt and it does guggle flock. sent3: if the barilla is a jacksmelt the expurgator does assist and is not a kind of a jacksmelt. sent4: the fact that the expurgator assists hold if the barilla is a jacksmelt. sent5: the expurgator is a jacksmelt and it does be. sent6: something guggles flock if the fact that it is non-Merovingian thing that does dangle joust is wrong. sent7: the barilla is a mugger if the expurgator is a mugger. sent8: the expurgator is a mugger. sent9: the barilla is a kind of a jacksmelt if the daphne guggles flock. sent10: something is a Merovingian if it is a jacksmelt.
sent6 -> int1: if the fact that the daphne is not a Merovingian but it does dangle joust is not true then it guggles flock.; void -> assump1: Let's assume that that the daphne is non-Merovingian thing that dangles joust is wrong.; int1 & assump1 -> int2: the daphne does guggle flock.; int2 & sent9 -> int3: the barilla is a jacksmelt.; int3 & sent3 -> int4: the expurgator is both an assisted and not a jacksmelt.; int4 -> int5: the expurgator is not a kind of a jacksmelt.; sent5 -> int6: the fact that the expurgator is a kind of a jacksmelt is right.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the daphne is not a kind of a Merovingian but it dangles joust.; int8 -> hypothesis;
the barilla is a mugger and it is a kind of a Merovingian.
sent7 & sent8 -> int9: the barilla is a mugger.;
$hypothesis$ = the daphne is not a Merovingian. ; $context$ = sent1: the daphne dangles joust and is not a jacksmelt. sent2: if the daphne does not assist it is a kind of a jacksmelt and it does guggle flock. sent3: if the barilla is a jacksmelt the expurgator does assist and is not a kind of a jacksmelt. sent4: the fact that the expurgator assists hold if the barilla is a jacksmelt. sent5: the expurgator is a jacksmelt and it does be. sent6: something guggles flock if the fact that it is non-Merovingian thing that does dangle joust is wrong. sent7: the barilla is a mugger if the expurgator is a mugger. sent8: the expurgator is a mugger. sent9: the barilla is a kind of a jacksmelt if the daphne guggles flock. sent10: something is a Merovingian if it is a jacksmelt. ; $proof$ = 
sent6 -> int1: if the fact that the daphne is not a Merovingian but it does dangle joust is not true then it guggles flock.; void -> assump1: Let's assume that that the daphne is non-Merovingian thing that dangles joust is wrong.; int1 & assump1 -> int2: the daphne does guggle flock.; int2 & sent9 -> int3: the barilla is a jacksmelt.; int3 & sent3 -> int4: the expurgator is both an assisted and not a jacksmelt.; int4 -> int5: the expurgator is not a kind of a jacksmelt.; sent5 -> int6: the fact that the expurgator is a kind of a jacksmelt is right.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the daphne is not a kind of a Merovingian but it dangles joust.; int8 -> hypothesis; __PROVED__