the Australian is a kind of a workman.
sent1: the fer-de-lance is a workman if there is something such that the fact that it does not furlough icosahedron and it is noncellular is not right. sent2: if there exists something such that the fact that it does furlough discomycete is correct the fer-de-lance is evolutionary and it does furlough icosahedron. sent3: that the fer-de-lance is a workman is correct if that there is something such that that it is not noncellular and it does furlough icosahedron is incorrect is not wrong. sent4: if there is something such that the fact that it is not noncellular and it furloughs icosahedron is not right then the Australian is a kind of a workman. sent5: the Australian is cellular if the discomycete is not a workman and it is not evolutionary. sent6: if there exists something such that it furloughs icosahedron then the Australian does furloughs icosahedron and/or it is noncellular. sent7: the fer-de-lance furloughs icosahedron. sent8: the discomycete furloughs discomycete.
void -> assump1: Let's assume that the fer-de-lance is a kind of cellular thing that furloughs icosahedron.; assump1 -> int1: the fer-de-lance is not noncellular.;
that the fer-de-lance does not furlough icosahedron but it does furnish is not correct.
$hypothesis$ = the Australian is a kind of a workman. ; $context$ = sent1: the fer-de-lance is a workman if there is something such that the fact that it does not furlough icosahedron and it is noncellular is not right. sent2: if there exists something such that the fact that it does furlough discomycete is correct the fer-de-lance is evolutionary and it does furlough icosahedron. sent3: that the fer-de-lance is a workman is correct if that there is something such that that it is not noncellular and it does furlough icosahedron is incorrect is not wrong. sent4: if there is something such that the fact that it is not noncellular and it furloughs icosahedron is not right then the Australian is a kind of a workman. sent5: the Australian is cellular if the discomycete is not a workman and it is not evolutionary. sent6: if there exists something such that it furloughs icosahedron then the Australian does furloughs icosahedron and/or it is noncellular. sent7: the fer-de-lance furloughs icosahedron. sent8: the discomycete furloughs discomycete. ; $proof$ = 
void -> assump1: Let's assume that the fer-de-lance is a kind of cellular thing that furloughs icosahedron.; assump1 -> int1: the fer-de-lance is not noncellular.; __UNKNOWN__