the mango does not minstrel coffer.
sent1: the meatball is not nominalistic and it is not ungregarious if it is not a kind of a stem-winder. sent2: if the fact that something expires godown and it is a rogation is not true that it is not a stem-winder is not wrong. sent3: that the mango does not minstrel coffer and is a queenfish is not true if the schorl is not a stem-winder. sent4: the meatball is not a kind of a stem-winder. sent5: if a non-nominalistic thing is not ungregarious it is not a queenfish. sent6: if the meatball is not a queenfish then the fact that the mango does not minstrel coffer is not false.
sent5 -> int1: that the meatball is not a queenfish is true if it is not nominalistic and it is not ungregarious.; sent1 & sent4 -> int2: the meatball is non-nominalistic but not ungregarious.; int1 & int2 -> int3: the meatball is not a queenfish.; int3 & sent6 -> hypothesis;
the coffer is not a kind of a queenfish.
sent2 -> int4: the schorl is not a stem-winder if the fact that it does expire godown and it is a kind of a rogation is not true.;
$hypothesis$ = the mango does not minstrel coffer. ; $context$ = sent1: the meatball is not nominalistic and it is not ungregarious if it is not a kind of a stem-winder. sent2: if the fact that something expires godown and it is a rogation is not true that it is not a stem-winder is not wrong. sent3: that the mango does not minstrel coffer and is a queenfish is not true if the schorl is not a stem-winder. sent4: the meatball is not a kind of a stem-winder. sent5: if a non-nominalistic thing is not ungregarious it is not a queenfish. sent6: if the meatball is not a queenfish then the fact that the mango does not minstrel coffer is not false. ; $proof$ = 
sent5 -> int1: that the meatball is not a queenfish is true if it is not nominalistic and it is not ungregarious.; sent1 & sent4 -> int2: the meatball is non-nominalistic but not ungregarious.; int1 & int2 -> int3: the meatball is not a queenfish.; int3 & sent6 -> hypothesis; __PROVED__