the HAZMAT is not a twenty-one if the snowmobile is a sunspot.
sent1: the HAZMAT is a Nigerien if the snowmobile is a sunspot. sent2: if something that is a Nigerien is not a twenty-one then it is not a sunspot. sent3: if something is a Nigerien then it is not a twenty-one. sent4: the snowmobile is not an amino. sent5: if something is a Nigerien then the fact that it is a twenty-one is not wrong. sent6: the HAZMAT is not a kind of a sunspot if the fact that the snowmobile is a Nigerien is not false. sent7: the snowmobile is not a twenty-one if the HAZMAT is a sunspot. sent8: if the snowmobile is a twenty-one then the HAZMAT is not a Nigerien. sent9: if the snowmobile is a sunspot the HAZMAT is a twenty-one. sent10: the HAZMAT is a Nigerien and is not a twenty-one if the snowmobile does not overrun speleology.
void -> assump1: Let's assume that the snowmobile is a sunspot.; sent1 & assump1 -> int1: the HAZMAT is a Nigerien.; sent3 -> int2: if the fact that the HAZMAT is a Nigerien is not false it is not a twenty-one.; int1 & int2 -> int3: the fact that the HAZMAT is not a twenty-one hold.; [assump1] & int3 -> hypothesis;
the HAZMAT is not a kind of a sunspot.
sent2 -> int4: if the HAZMAT is a Nigerien that is not a twenty-one it is not a sunspot.;
$hypothesis$ = the HAZMAT is not a twenty-one if the snowmobile is a sunspot. ; $context$ = sent1: the HAZMAT is a Nigerien if the snowmobile is a sunspot. sent2: if something that is a Nigerien is not a twenty-one then it is not a sunspot. sent3: if something is a Nigerien then it is not a twenty-one. sent4: the snowmobile is not an amino. sent5: if something is a Nigerien then the fact that it is a twenty-one is not wrong. sent6: the HAZMAT is not a kind of a sunspot if the fact that the snowmobile is a Nigerien is not false. sent7: the snowmobile is not a twenty-one if the HAZMAT is a sunspot. sent8: if the snowmobile is a twenty-one then the HAZMAT is not a Nigerien. sent9: if the snowmobile is a sunspot the HAZMAT is a twenty-one. sent10: the HAZMAT is a Nigerien and is not a twenty-one if the snowmobile does not overrun speleology. ; $proof$ = 
void -> assump1: Let's assume that the snowmobile is a sunspot.; sent1 & assump1 -> int1: the HAZMAT is a Nigerien.; sent3 -> int2: if the fact that the HAZMAT is a Nigerien is not false it is not a twenty-one.; int1 & int2 -> int3: the fact that the HAZMAT is not a twenty-one hold.; [assump1] & int3 -> hypothesis; __PROVED__