the Latino is a photocoagulator if the selenium is a kind of a dewdrop.
sent1: if either the Latino is human or it fudges fiftieth or both the selenium is not a dewdrop. sent2: something is not human if it fudges fiftieth and is not a dewdrop. sent3: if the Latino is human and/or does fudge fiftieth the selenium is a dewdrop. sent4: the selenium is not a photocoagulator. sent5: the Latino is human if the selenium is a photocoagulator. sent6: the shore is a photocoagulator if it is human. sent7: the hypodermic is a dewdrop. sent8: if the Latino is a dewdrop and/or it is human the selenium is not a photocoagulator. sent9: if the Latino is human then the selenium is not a kind of a dewdrop. sent10: that the selenium is not a kind of a bee is correct.
void -> assump1: Let's assume that the Latino fudges fiftieth.; assump1 -> int1: the Latino is human or it does fudge fiftieth or both.; int1 & sent1 -> int2: that the selenium is not a dewdrop is not false.; void -> assump2: Let's assume that the selenium is a dewdrop.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Latino does not fudge fiftieth.;
the shore is a photocoagulator.
$hypothesis$ = the Latino is a photocoagulator if the selenium is a kind of a dewdrop. ; $context$ = sent1: if either the Latino is human or it fudges fiftieth or both the selenium is not a dewdrop. sent2: something is not human if it fudges fiftieth and is not a dewdrop. sent3: if the Latino is human and/or does fudge fiftieth the selenium is a dewdrop. sent4: the selenium is not a photocoagulator. sent5: the Latino is human if the selenium is a photocoagulator. sent6: the shore is a photocoagulator if it is human. sent7: the hypodermic is a dewdrop. sent8: if the Latino is a dewdrop and/or it is human the selenium is not a photocoagulator. sent9: if the Latino is human then the selenium is not a kind of a dewdrop. sent10: that the selenium is not a kind of a bee is correct. ; $proof$ = 
void -> assump1: Let's assume that the Latino fudges fiftieth.; assump1 -> int1: the Latino is human or it does fudge fiftieth or both.; int1 & sent1 -> int2: that the selenium is not a dewdrop is not false.; void -> assump2: Let's assume that the selenium is a dewdrop.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Latino does not fudge fiftieth.; __UNKNOWN__