the opsonin is nordic.
sent1: the diatom embarks if the fact that the shantytown is a kind of an amity is true. sent2: the Man is nordic if the opsonin is a kind of a Capone. sent3: if the diatom does embark then the opsonin is nordic. sent4: the chlorophyll is not an amity. sent5: the chlorophyll does embark if the Man either is not a kind of a Capone or does understand or both. sent6: there exists something such that it either is not a Scriabin or is tangible or both. sent7: something is not a Capone if the fact that either it does not lean maleficence or it does blind changing or both does not hold. sent8: the Man blinds changing if the diatom is a kind of a Capone. sent9: the Man does not understand. sent10: the shantytown is an amity if either the Man does not lean maleficence or it blinds changing or both. sent11: the chlorophyll is a kind of a Capone that does not understand. sent12: the diatom is not an amity and/or it does embark. sent13: that the shantytown understands and it is a Capone is not right if that the diatom is not an amity hold. sent14: if the diatom is a millenarian it is not an amity and it does not embark. sent15: that the chlorophyll is a Capone but it does not understand does not hold if the Man is not a Capone.
sent7 -> int1: the Man is not a Capone if the fact that either it does not lean maleficence or it does blind changing or both is not right.; void -> assump1: Let's assume that the fact that the Man does not lean maleficence and/or does blind changing does not hold.; int1 & assump1 -> int2: the Man is not a kind of a Capone.; int2 & sent15 -> int3: that the fact that the chlorophyll is a Capone that does not understand is right is incorrect.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Man does not lean maleficence and/or blinds changing.; int5 & sent10 -> int6: the shantytown is an amity.; int6 & sent1 -> int7: the diatom does embark.; int7 & sent3 -> hypothesis;
the opsonin is not nordic.
$hypothesis$ = the opsonin is nordic. ; $context$ = sent1: the diatom embarks if the fact that the shantytown is a kind of an amity is true. sent2: the Man is nordic if the opsonin is a kind of a Capone. sent3: if the diatom does embark then the opsonin is nordic. sent4: the chlorophyll is not an amity. sent5: the chlorophyll does embark if the Man either is not a kind of a Capone or does understand or both. sent6: there exists something such that it either is not a Scriabin or is tangible or both. sent7: something is not a Capone if the fact that either it does not lean maleficence or it does blind changing or both does not hold. sent8: the Man blinds changing if the diatom is a kind of a Capone. sent9: the Man does not understand. sent10: the shantytown is an amity if either the Man does not lean maleficence or it blinds changing or both. sent11: the chlorophyll is a kind of a Capone that does not understand. sent12: the diatom is not an amity and/or it does embark. sent13: that the shantytown understands and it is a Capone is not right if that the diatom is not an amity hold. sent14: if the diatom is a millenarian it is not an amity and it does not embark. sent15: that the chlorophyll is a Capone but it does not understand does not hold if the Man is not a Capone. ; $proof$ = 
sent7 -> int1: the Man is not a Capone if the fact that either it does not lean maleficence or it does blind changing or both is not right.; void -> assump1: Let's assume that the fact that the Man does not lean maleficence and/or does blind changing does not hold.; int1 & assump1 -> int2: the Man is not a kind of a Capone.; int2 & sent15 -> int3: that the fact that the chlorophyll is a Capone that does not understand is right is incorrect.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Man does not lean maleficence and/or blinds changing.; int5 & sent10 -> int6: the shantytown is an amity.; int6 & sent1 -> int7: the diatom does embark.; int7 & sent3 -> hypothesis; __PROVED__