the fact that if that the ram's-head does tip queen hold then the Minuteman is not a crank does not hold.
sent1: if the ram's-head does not overuse Minuteman it is a mackintosh and is a fix. sent2: if something does not flake two-dimensionality the fact that it tips queen or it is not a crank or both is wrong. sent3: if the Minuteman does crank and it is a Sarah the fact that the ram's-head does not tip queen hold. sent4: the Minuteman is a Sarah. sent5: the ram's-head tips queen if the Minuteman is a kind of a crank and it is a Sarah. sent6: the ram's-head does not overuse Minuteman.
void -> assump1: Let's assume that the ram's-head does tip queen.; void -> assump2: Let's assume that the Minuteman cranks.; assump2 & sent4 -> int1: the Minuteman is a crank and a Sarah.; sent3 & int1 -> int2: the ram's-head does not tip queen.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Minuteman is not a kind of a crank.; [assump1] & int4 -> hypothesis;
the merino is a kind of a Sarah.
sent2 -> int5: if the Minuteman does not flake two-dimensionality then the fact that it does tip queen and/or is not a crank does not hold.; sent1 & sent6 -> int6: the ram's-head is a kind of a mackintosh that is a fix.; int6 -> int7: the ram's-head is a mackintosh.; int7 -> int8: there exists something such that it is a kind of a mackintosh.;
$hypothesis$ = the fact that if that the ram's-head does tip queen hold then the Minuteman is not a crank does not hold. ; $context$ = sent1: if the ram's-head does not overuse Minuteman it is a mackintosh and is a fix. sent2: if something does not flake two-dimensionality the fact that it tips queen or it is not a crank or both is wrong. sent3: if the Minuteman does crank and it is a Sarah the fact that the ram's-head does not tip queen hold. sent4: the Minuteman is a Sarah. sent5: the ram's-head tips queen if the Minuteman is a kind of a crank and it is a Sarah. sent6: the ram's-head does not overuse Minuteman. ; $proof$ = 
void -> assump1: Let's assume that the ram's-head does tip queen.; void -> assump2: Let's assume that the Minuteman cranks.; assump2 & sent4 -> int1: the Minuteman is a crank and a Sarah.; sent3 & int1 -> int2: the ram's-head does not tip queen.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Minuteman is not a kind of a crank.; [assump1] & int4 -> hypothesis; __DISPROVED__