the Udmurt is a pressmark.
sent1: there is nothing such that it is a pahoehoe and it adducts Methuselah. sent2: if the alga does not catholicize the Udmurt does not catholicize and it is not a priming. sent3: the pika is not a priming and it is not a Llullaillaco. sent4: if the bootleg is not plagioclastic that the alga does not catholicize and does not prime does not hold. sent5: if the fact that the pika is a kind of a pahoehoe and it does adduct Methuselah is not true the alga does not catholicize. sent6: something is not a pressmark if it catholicizes and does not prime. sent7: if something that does not catholicize is not priming it is not a pressmark.
sent1 -> int1: that the pika is a kind of a pahoehoe that does adduct Methuselah is not correct.; int1 & sent5 -> int2: the alga does not catholicize.; int2 & sent2 -> int3: the Udmurt does not catholicize and it is not a priming.; sent7 -> int4: the Udmurt is not a pressmark if it does not catholicize and it is not priming.; int3 & int4 -> hypothesis;
the Udmurt is a pressmark.
$hypothesis$ = the Udmurt is a pressmark. ; $context$ = sent1: there is nothing such that it is a pahoehoe and it adducts Methuselah. sent2: if the alga does not catholicize the Udmurt does not catholicize and it is not a priming. sent3: the pika is not a priming and it is not a Llullaillaco. sent4: if the bootleg is not plagioclastic that the alga does not catholicize and does not prime does not hold. sent5: if the fact that the pika is a kind of a pahoehoe and it does adduct Methuselah is not true the alga does not catholicize. sent6: something is not a pressmark if it catholicizes and does not prime. sent7: if something that does not catholicize is not priming it is not a pressmark. ; $proof$ = 
sent1 -> int1: that the pika is a kind of a pahoehoe that does adduct Methuselah is not correct.; int1 & sent5 -> int2: the alga does not catholicize.; int2 & sent2 -> int3: the Udmurt does not catholicize and it is not a priming.; sent7 -> int4: the Udmurt is not a pressmark if it does not catholicize and it is not priming.; int3 & int4 -> hypothesis; __DISPROVED__