if that the nummulite does not piddle Esau hold then the prototherian is not murine but it is a Glaswegian.
sent1: the prototherian is not a murine and is a kind of a Glaswegian if the dumbbell is not electrostatics. sent2: the prototherian does not piddle flapper. sent3: if the prototherian is non-murine but it is a Porifera then the tramline does not piddle flapper. sent4: if that the tramline is a murine is correct the prototherian is both not Glaswegian and a Porifera. sent5: the nummulite is not a Porifera. sent6: the prototherian is not a murine. sent7: the headset is esophageal and a clerid. sent8: the prototherian is not a Glaswegian if something is a kind of a clerid. sent9: the tramline is not a Porifera. sent10: if the tramline does not piddle flapper and is not a Porifera then the dumbbell is not electrostatics. sent11: the nummulite is not a Porifera if the dumbbell is not electrostatics and does not piddle Esau. sent12: the tramline is not a murine if the prototherian is not a Porifera and it is not a Glaswegian. sent13: the fact that the nummulite is not circadian and not explicit is correct if the tramline piddles Esau.
the nummulite is both not circadian and not explicit.
sent7 -> int1: the headset is a clerid.; int1 -> int2: there exists something such that it is a kind of a clerid.; int2 & sent8 -> int3: the prototherian is not a kind of a Glaswegian.; int3 -> int4: there exists something such that it is not a kind of a Glaswegian.;
$hypothesis$ = if that the nummulite does not piddle Esau hold then the prototherian is not murine but it is a Glaswegian. ; $context$ = sent1: the prototherian is not a murine and is a kind of a Glaswegian if the dumbbell is not electrostatics. sent2: the prototherian does not piddle flapper. sent3: if the prototherian is non-murine but it is a Porifera then the tramline does not piddle flapper. sent4: if that the tramline is a murine is correct the prototherian is both not Glaswegian and a Porifera. sent5: the nummulite is not a Porifera. sent6: the prototherian is not a murine. sent7: the headset is esophageal and a clerid. sent8: the prototherian is not a Glaswegian if something is a kind of a clerid. sent9: the tramline is not a Porifera. sent10: if the tramline does not piddle flapper and is not a Porifera then the dumbbell is not electrostatics. sent11: the nummulite is not a Porifera if the dumbbell is not electrostatics and does not piddle Esau. sent12: the tramline is not a murine if the prototherian is not a Porifera and it is not a Glaswegian. sent13: the fact that the nummulite is not circadian and not explicit is correct if the tramline piddles Esau. ; $proof$ = 
__UNKNOWN__