if the oak is not a decrease the Cretan is not a railroad.
sent1: if the Cretan is a Nigroporus that is resistible the pussy-paw is not phylogenetic. sent2: something is not resistless if it railroads. sent3: if the pussy-paw is resistless but it is not phylogenetic the Cretan is not a railroad. sent4: the element does not decrease. sent5: the oak is a decrease if the element is not a kind of an exfoliation. sent6: if the Cretan is a Nigroporus that is resistless the fact that the pussy-paw is not phylogenetic is true. sent7: the oak is not phylogenetic. sent8: if that the Cretan is not an exfoliation is right then that the element is not resistless is not incorrect. sent9: the restrainer is resistless. sent10: if that the oak decreases hold the Cretan is not a railroad. sent11: if something is not resistible it is an exfoliation and it does not decrease. sent12: if something does railroad then it is a Nigroporus and it is not resistless.
sent12 -> int1: the fact that the Cretan is a Nigroporus but not resistless is right if it is a railroad.; void -> assump2: Let's assume that the Cretan is a railroad.; int1 & assump2 -> int2: the Cretan is a kind of a Nigroporus that is not resistless.; sent1 & int2 -> int3: the pussy-paw is not phylogenetic.;
$hypothesis$ = if the oak is not a decrease the Cretan is not a railroad. ; $context$ = sent1: if the Cretan is a Nigroporus that is resistible the pussy-paw is not phylogenetic. sent2: something is not resistless if it railroads. sent3: if the pussy-paw is resistless but it is not phylogenetic the Cretan is not a railroad. sent4: the element does not decrease. sent5: the oak is a decrease if the element is not a kind of an exfoliation. sent6: if the Cretan is a Nigroporus that is resistless the fact that the pussy-paw is not phylogenetic is true. sent7: the oak is not phylogenetic. sent8: if that the Cretan is not an exfoliation is right then that the element is not resistless is not incorrect. sent9: the restrainer is resistless. sent10: if that the oak decreases hold the Cretan is not a railroad. sent11: if something is not resistible it is an exfoliation and it does not decrease. sent12: if something does railroad then it is a Nigroporus and it is not resistless. ; $proof$ = 
sent12 -> int1: the fact that the Cretan is a Nigroporus but not resistless is right if it is a railroad.; void -> assump2: Let's assume that the Cretan is a railroad.; int1 & assump2 -> int2: the Cretan is a kind of a Nigroporus that is not resistless.; sent1 & int2 -> int3: the pussy-paw is not phylogenetic.; __UNKNOWN__