the townie is not a Martian if the Cornishman dishonors and achromatizes mind.
sent1: that the security does not achromatize mind hold. sent2: the multiplication is a Magritte. sent3: if the Cornishman does not achromatize mind and is a Magritte then that the Holly is a dishonor is not wrong. sent4: the Holly is an immune. sent5: that the Holly does achromatize mind if the Cornishman is a Magritte and it does dishonor hold. sent6: the Cornishman does gate Ichthyosauridae. sent7: the fact that the proctoscope is Martian hold. sent8: the Holly does achromatize mind if the Cornishman is not a dishonor but it is a kind of a Magritte. sent9: if the Cornishman is a kind of a dishonor and it achromatizes mind the townie is a Martian. sent10: the Cornishman does wrest Grozny. sent11: the fact that if the townie is not a Martian but it achromatizes mind then the Cornishman is not a dishonor hold. sent12: the townie does achromatize mind. sent13: the Cornishman is a Martian. sent14: the fact that the townie is not a Martian if the Holly is both not a Magritte and a dishonor is not false. sent15: the fact that the prisoner is not a swan but it is a riser is not incorrect. sent16: if the Holly is a Magritte and it does dishonor then the townie is not a Martian. sent17: the Holly is not a kind of a Magritte but it achromatizes mind. sent18: the Holly is both not a Magritte and a dishonor if the Cornishman is a dishonor. sent19: if the Cornishman achromatizes mind and is a Magritte then the Holly is a dishonor. sent20: the Holly is not a Magritte. sent21: the townie is a kind of a Magritte.
void -> assump1: Let's assume that the Cornishman is a kind of a dishonor and it achromatizes mind.; assump1 -> int1: the Cornishman is a dishonor.; sent18 & int1 -> int2: the Holly is not a Magritte but it does dishonor.; sent14 & int2 -> int3: the townie is not a Martian.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the townie is not a Martian if the Cornishman dishonors and achromatizes mind. ; $context$ = sent1: that the security does not achromatize mind hold. sent2: the multiplication is a Magritte. sent3: if the Cornishman does not achromatize mind and is a Magritte then that the Holly is a dishonor is not wrong. sent4: the Holly is an immune. sent5: that the Holly does achromatize mind if the Cornishman is a Magritte and it does dishonor hold. sent6: the Cornishman does gate Ichthyosauridae. sent7: the fact that the proctoscope is Martian hold. sent8: the Holly does achromatize mind if the Cornishman is not a dishonor but it is a kind of a Magritte. sent9: if the Cornishman is a kind of a dishonor and it achromatizes mind the townie is a Martian. sent10: the Cornishman does wrest Grozny. sent11: the fact that if the townie is not a Martian but it achromatizes mind then the Cornishman is not a dishonor hold. sent12: the townie does achromatize mind. sent13: the Cornishman is a Martian. sent14: the fact that the townie is not a Martian if the Holly is both not a Magritte and a dishonor is not false. sent15: the fact that the prisoner is not a swan but it is a riser is not incorrect. sent16: if the Holly is a Magritte and it does dishonor then the townie is not a Martian. sent17: the Holly is not a kind of a Magritte but it achromatizes mind. sent18: the Holly is both not a Magritte and a dishonor if the Cornishman is a dishonor. sent19: if the Cornishman achromatizes mind and is a Magritte then the Holly is a dishonor. sent20: the Holly is not a Magritte. sent21: the townie is a kind of a Magritte. ; $proof$ = 
void -> assump1: Let's assume that the Cornishman is a kind of a dishonor and it achromatizes mind.; assump1 -> int1: the Cornishman is a dishonor.; sent18 & int1 -> int2: the Holly is not a Magritte but it does dishonor.; sent14 & int2 -> int3: the townie is not a Martian.; [assump1] & int3 -> hypothesis; __PROVED__