the megathere scorches cristobalite.
sent1: if the megathere is determinable and is not a poltroon then the duckpin is not incredulous. sent2: the duckpin is a poltroon. sent3: the megathere is incredulous. sent4: if the megathere does not squire megathere and it is not a poltroon the hydrologist does not spot. sent5: the duckpin is incredulous. sent6: something is a kind of a poltroon if it is determinable. sent7: if the megathere is determinable then that it is a poltroon is not false. sent8: the hydrologist does not scorch cristobalite. sent9: the megathere is incredulous if the duckpin scorches cristobalite. sent10: the megathere does not squire neencephalon and is not a punchball. sent11: if the megathere is not incredulous it does not squire megathere and it is not a kind of a poltroon. sent12: if the megathere is not a kind of a spot and does not scorch cristobalite then the hydrologist is indeterminable. sent13: something is determinable if it is a kind of a poltroon. sent14: the hydrologist does not scorch cristobalite if the megathere does not squire megathere and it is not determinable. sent15: the duckpin does not squire megathere if the megathere is determinable but it is not incredulous. sent16: the hydrologist does scorch cristobalite if the megathere is determinable. sent17: if something is determinable it is a spot. sent18: the megathere does not squire megathere and is not a kind of a poltroon if it does not scorch cristobalite. sent19: if the duckpin does squire megathere but it is not a poltroon then the megathere is not incredulous. sent20: if the hydrologist is a poltroon but it does not squire megathere then the megathere is not a spot. sent21: an incredulous thing spots. sent22: if the hydrologist is not determinable it does not scorch cristobalite and does not squire megathere.
void -> assump1: Let's assume that the megathere does not scorch cristobalite.; sent18 & assump1 -> int1: the megathere does not squire megathere and it is not a poltroon.; int1 & sent4 -> int2: the hydrologist is not a spot.; sent17 -> int3: if the hydrologist is determinable then it is a kind of a spot.;
$hypothesis$ = the megathere scorches cristobalite. ; $context$ = sent1: if the megathere is determinable and is not a poltroon then the duckpin is not incredulous. sent2: the duckpin is a poltroon. sent3: the megathere is incredulous. sent4: if the megathere does not squire megathere and it is not a poltroon the hydrologist does not spot. sent5: the duckpin is incredulous. sent6: something is a kind of a poltroon if it is determinable. sent7: if the megathere is determinable then that it is a poltroon is not false. sent8: the hydrologist does not scorch cristobalite. sent9: the megathere is incredulous if the duckpin scorches cristobalite. sent10: the megathere does not squire neencephalon and is not a punchball. sent11: if the megathere is not incredulous it does not squire megathere and it is not a kind of a poltroon. sent12: if the megathere is not a kind of a spot and does not scorch cristobalite then the hydrologist is indeterminable. sent13: something is determinable if it is a kind of a poltroon. sent14: the hydrologist does not scorch cristobalite if the megathere does not squire megathere and it is not determinable. sent15: the duckpin does not squire megathere if the megathere is determinable but it is not incredulous. sent16: the hydrologist does scorch cristobalite if the megathere is determinable. sent17: if something is determinable it is a spot. sent18: the megathere does not squire megathere and is not a kind of a poltroon if it does not scorch cristobalite. sent19: if the duckpin does squire megathere but it is not a poltroon then the megathere is not incredulous. sent20: if the hydrologist is a poltroon but it does not squire megathere then the megathere is not a spot. sent21: an incredulous thing spots. sent22: if the hydrologist is not determinable it does not scorch cristobalite and does not squire megathere. ; $proof$ = 
void -> assump1: Let's assume that the megathere does not scorch cristobalite.; sent18 & assump1 -> int1: the megathere does not squire megathere and it is not a poltroon.; int1 & sent4 -> int2: the hydrologist is not a spot.; sent17 -> int3: if the hydrologist is determinable then it is a kind of a spot.; __UNKNOWN__