the micrometer is wolflike.
sent1: the micrometer is a kind of a Nicaraguan. sent2: either the messiah does shrug or it canes Haggard or both. sent3: if the micrometer is a kind of a Nicaraguan and it is wolflike then it is non-Eucharistic. sent4: a shrug is non-Eucharistic and Nicaraguan. sent5: the micrometer is Eucharistic if the messiah is a shrug. sent6: if the messiah does cane Haggard then the micrometer is Eucharistic.
void -> assump1: Let's assume that the micrometer is not non-wolflike.; sent1 & assump1 -> int1: the micrometer is a Nicaraguan and wolflike.; int1 & sent3 -> int2: the fact that the micrometer is not Eucharistic is right.; sent2 & sent5 & sent6 -> int3: the micrometer is Eucharistic.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the messiah is not wolflike.
sent4 -> int5: the messiah is not Eucharistic but it is a Nicaraguan if it does shrug.;
$hypothesis$ = the micrometer is wolflike. ; $context$ = sent1: the micrometer is a kind of a Nicaraguan. sent2: either the messiah does shrug or it canes Haggard or both. sent3: if the micrometer is a kind of a Nicaraguan and it is wolflike then it is non-Eucharistic. sent4: a shrug is non-Eucharistic and Nicaraguan. sent5: the micrometer is Eucharistic if the messiah is a shrug. sent6: if the messiah does cane Haggard then the micrometer is Eucharistic. ; $proof$ = 
void -> assump1: Let's assume that the micrometer is not non-wolflike.; sent1 & assump1 -> int1: the micrometer is a Nicaraguan and wolflike.; int1 & sent3 -> int2: the fact that the micrometer is not Eucharistic is right.; sent2 & sent5 & sent6 -> int3: the micrometer is Eucharistic.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__