the crawler does not reconstruct.
sent1: the digger does syllogize gasmask. sent2: The gasmask does syllogize digger. sent3: something is non-anasarcous if it does syllogize gasmask and/or it does remonstrate scholium.
sent3 -> int1: if the digger syllogizes gasmask and/or it does remonstrate scholium then it is not anasarcous.; sent1 -> int2: the digger does syllogize gasmask and/or remonstrates scholium.; int1 & int2 -> int3: the digger is not anasarcous.; int3 -> int4: the digger is not anasarcous or it is not a soffit or both.;
$hypothesis$ = the crawler does not reconstruct. ; $context$ = sent1: the digger does syllogize gasmask. sent2: The gasmask does syllogize digger. sent3: something is non-anasarcous if it does syllogize gasmask and/or it does remonstrate scholium. ; $proof$ = 
sent3 -> int1: if the digger syllogizes gasmask and/or it does remonstrate scholium then it is not anasarcous.; sent1 -> int2: the digger does syllogize gasmask and/or remonstrates scholium.; int1 & int2 -> int3: the digger is not anasarcous.; int3 -> int4: the digger is not anasarcous or it is not a soffit or both.; __UNKNOWN__