something is nervous.
sent1: if something is a mobcap that it is nervous is correct. sent2: the quackgrass is electroencephalographic thing that is a mobcap.
sent2 -> int1: the quackgrass is a mobcap.; sent1 -> int2: the quackgrass is nervous if that it is a mobcap hold.; int1 & int2 -> int3: the quackgrass is nervous.; int3 -> hypothesis;
$hypothesis$ = something is nervous. ; $context$ = sent1: if something is a mobcap that it is nervous is correct. sent2: the quackgrass is electroencephalographic thing that is a mobcap. ; $proof$ = 
sent2 -> int1: the quackgrass is a mobcap.; sent1 -> int2: the quackgrass is nervous if that it is a mobcap hold.; int1 & int2 -> int3: the quackgrass is nervous.; int3 -> hypothesis; __PROVED__