the spearhead is a riveter.
sent1: if that something is not a kind of an iceman and it does not ring is incorrect then it is not a riveter. sent2: if that the footwall does not coordinate hold then it is a kind of a exemplification that is critical. sent3: the Mylar is not a kind of a ringing if the fact that the enterokinase does not bop pop-fly and it is not a diocesan does not hold. sent4: the footwall is not a coordinate if the waxflower does not malinger maverick and it does not coordinate. sent5: the spearhead is a riveter if the Mylar is a kind of a riveter. sent6: the spearhead is not a kind of a aspirator. sent7: the kipper does not tailor if something undresses enterokinase or it is not a kind of a tailor or both. sent8: if the kipper is not a kind of a tailoring then the waxflower does not malinger maverick and it is not a kind of a coordinate. sent9: the spearhead rings. sent10: something is not a kind of a blepharospasm if it malingers December. sent11: something undresses enterokinase and/or is not a tailoring.
void -> assump1: Let's assume that the spearhead is not an iceman and does not ring.; assump1 -> int1: the spearhead does not ring.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the spearhead is both not an iceman and not a ringing does not hold.; sent1 -> int4: the spearhead is not a riveter if that it is not an iceman and it is not a ringing is not correct.; int3 & int4 -> hypothesis;
the spearhead is a riveter.
sent11 & sent7 -> int5: the kipper is not a tailoring.; sent8 & int5 -> int6: the waxflower does not malinger maverick and it does not coordinate.; sent4 & int6 -> int7: that the footwall is not a kind of a coordinate is not incorrect.; sent2 & int7 -> int8: the footwall is both a exemplification and critical.; int8 -> int9: the footwall is a exemplification.; int9 -> int10: there exists something such that it is a exemplification.;
$hypothesis$ = the spearhead is a riveter. ; $context$ = sent1: if that something is not a kind of an iceman and it does not ring is incorrect then it is not a riveter. sent2: if that the footwall does not coordinate hold then it is a kind of a exemplification that is critical. sent3: the Mylar is not a kind of a ringing if the fact that the enterokinase does not bop pop-fly and it is not a diocesan does not hold. sent4: the footwall is not a coordinate if the waxflower does not malinger maverick and it does not coordinate. sent5: the spearhead is a riveter if the Mylar is a kind of a riveter. sent6: the spearhead is not a kind of a aspirator. sent7: the kipper does not tailor if something undresses enterokinase or it is not a kind of a tailor or both. sent8: if the kipper is not a kind of a tailoring then the waxflower does not malinger maverick and it is not a kind of a coordinate. sent9: the spearhead rings. sent10: something is not a kind of a blepharospasm if it malingers December. sent11: something undresses enterokinase and/or is not a tailoring. ; $proof$ = 
void -> assump1: Let's assume that the spearhead is not an iceman and does not ring.; assump1 -> int1: the spearhead does not ring.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the spearhead is both not an iceman and not a ringing does not hold.; sent1 -> int4: the spearhead is not a riveter if that it is not an iceman and it is not a ringing is not correct.; int3 & int4 -> hypothesis; __DISPROVED__