the Lamb is a kind of a marksman.
sent1: something that is antithyroid does restrain bomber. sent2: if something does not misremember the nameko does not restrain bomber or it is not alkaloidal or both. sent3: something does not galvanize if it does not restrain bomber. sent4: if the vaporization is alkaloidal but it does not restrain bomber the Lamb is a marksman. sent5: if the nameko is not antithyroid then the fact that the thalamus is not a nitrofuran is right. sent6: if the thalamus is not a kind of a nitrofuran that the nutshell does not galvanize and is not a nitrofuran is true. sent7: something that is both antithyroid and a nitrofuran is not a kind of a marksman. sent8: if the fact that the nameko restrains bomber is not wrong the vaporization is alkaloidal and does not restrains bomber. sent9: the nutshell is moneyless. sent10: if that that something is antithyroid or it is a kind of a nitrofuran or both hold is false then it is not a marksman. sent11: the fact that something does not galvanize and is not a nitrofuran does not hold if it does not misremember. sent12: the thalamus does not misremember. sent13: the bomber does restrain bomber. sent14: if the nutshell is moneyless it does not misremember.
void -> assump1: Let's assume that the nameko is not antithyroid.; sent5 & assump1 -> int1: the thalamus is not a nitrofuran.; int1 & sent6 -> int2: the nutshell does not galvanize and is not a nitrofuran.; sent11 -> int3: the fact that the nutshell does not galvanize and it is not a nitrofuran is wrong if it does not misremember.; sent14 & sent9 -> int4: the nutshell does not misremember.; int3 & int4 -> int5: the fact that the nutshell does not galvanize and it is not a nitrofuran is not right.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the nameko is antithyroid.; sent1 -> int8: the nameko does restrain bomber if it is antithyroid.; int7 & int8 -> int9: the nameko does restrain bomber.; int9 & sent8 -> int10: the vaporization is alkaloidal but it does not restrain bomber.; int10 & sent4 -> hypothesis;
the bomber is not a marksman.
sent7 -> int11: if the bomber is antithyroid and it is a nitrofuran it is not a marksman.; sent13 -> int12: the bomber restrains bomber or it is alkaloidal or both.;
$hypothesis$ = the Lamb is a kind of a marksman. ; $context$ = sent1: something that is antithyroid does restrain bomber. sent2: if something does not misremember the nameko does not restrain bomber or it is not alkaloidal or both. sent3: something does not galvanize if it does not restrain bomber. sent4: if the vaporization is alkaloidal but it does not restrain bomber the Lamb is a marksman. sent5: if the nameko is not antithyroid then the fact that the thalamus is not a nitrofuran is right. sent6: if the thalamus is not a kind of a nitrofuran that the nutshell does not galvanize and is not a nitrofuran is true. sent7: something that is both antithyroid and a nitrofuran is not a kind of a marksman. sent8: if the fact that the nameko restrains bomber is not wrong the vaporization is alkaloidal and does not restrains bomber. sent9: the nutshell is moneyless. sent10: if that that something is antithyroid or it is a kind of a nitrofuran or both hold is false then it is not a marksman. sent11: the fact that something does not galvanize and is not a nitrofuran does not hold if it does not misremember. sent12: the thalamus does not misremember. sent13: the bomber does restrain bomber. sent14: if the nutshell is moneyless it does not misremember. ; $proof$ = 
void -> assump1: Let's assume that the nameko is not antithyroid.; sent5 & assump1 -> int1: the thalamus is not a nitrofuran.; int1 & sent6 -> int2: the nutshell does not galvanize and is not a nitrofuran.; sent11 -> int3: the fact that the nutshell does not galvanize and it is not a nitrofuran is wrong if it does not misremember.; sent14 & sent9 -> int4: the nutshell does not misremember.; int3 & int4 -> int5: the fact that the nutshell does not galvanize and it is not a nitrofuran is not right.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the nameko is antithyroid.; sent1 -> int8: the nameko does restrain bomber if it is antithyroid.; int7 & int8 -> int9: the nameko does restrain bomber.; int9 & sent8 -> int10: the vaporization is alkaloidal but it does not restrain bomber.; int10 & sent4 -> hypothesis; __PROVED__