the namesake does not unwrap effector.
sent1: if that the fact that the station is a redshift and it spiels aleph-null is right is not right then it is not reasonable. sent2: the fact that the station is a redshift and it spiels aleph-null is not right if something is uncared-for. sent3: there exists something such that it is uncared-for. sent4: the station is an isocyanate if it is not reasonable and/or it unwraps SACLANT. sent5: something unwraps effector if it is uncared-for. sent6: if the station is an isocyanate the namesake does not unwrap effector. sent7: something does unwrap SACLANT if it is uncared-for.
sent3 & sent2 -> int1: the fact that the station is a redshift and spiels aleph-null is wrong.; int1 & sent1 -> int2: that the station is not reasonable hold.; int2 -> int3: the fact that either the station is not reasonable or it does unwrap SACLANT or both is not wrong.; int3 & sent4 -> int4: the station is a kind of an isocyanate.; int4 & sent6 -> hypothesis;
the namesake unwraps effector.
sent5 -> int5: if the fact that the namesake is uncared-for is not false then it does unwrap effector.;
$hypothesis$ = the namesake does not unwrap effector. ; $context$ = sent1: if that the fact that the station is a redshift and it spiels aleph-null is right is not right then it is not reasonable. sent2: the fact that the station is a redshift and it spiels aleph-null is not right if something is uncared-for. sent3: there exists something such that it is uncared-for. sent4: the station is an isocyanate if it is not reasonable and/or it unwraps SACLANT. sent5: something unwraps effector if it is uncared-for. sent6: if the station is an isocyanate the namesake does not unwrap effector. sent7: something does unwrap SACLANT if it is uncared-for. ; $proof$ = 
sent3 & sent2 -> int1: the fact that the station is a redshift and spiels aleph-null is wrong.; int1 & sent1 -> int2: that the station is not reasonable hold.; int2 -> int3: the fact that either the station is not reasonable or it does unwrap SACLANT or both is not wrong.; int3 & sent4 -> int4: the station is a kind of an isocyanate.; int4 & sent6 -> hypothesis; __PROVED__