the swizzle is a kind of non-unreal thing that does not gallivant.
sent1: the blood-twig is not a delay. sent2: if something is a kind of a delay then that it is not unreal and it does not gallivant does not hold. sent3: if the anchusa is not a Congress then the killifish is not unreal. sent4: the anchusa does not back and it is not a Congress if the blood-twig does not delay. sent5: if the killifish is not unreal then the swizzle is a kind of unreal thing that does not gallivant.
sent4 & sent1 -> int1: the anchusa is not a back and it is not a Congress.; int1 -> int2: the anchusa is not a Congress.; int2 & sent3 -> int3: the killifish is not unreal.; int3 & sent5 -> hypothesis;
the fact that the swizzle is not unreal and it does not gallivant is not correct.
sent2 -> int4: the fact that the swizzle is not unreal and it does not gallivant is not right if it is a kind of a delay.;
$hypothesis$ = the swizzle is a kind of non-unreal thing that does not gallivant. ; $context$ = sent1: the blood-twig is not a delay. sent2: if something is a kind of a delay then that it is not unreal and it does not gallivant does not hold. sent3: if the anchusa is not a Congress then the killifish is not unreal. sent4: the anchusa does not back and it is not a Congress if the blood-twig does not delay. sent5: if the killifish is not unreal then the swizzle is a kind of unreal thing that does not gallivant. ; $proof$ = 
sent4 & sent1 -> int1: the anchusa is not a back and it is not a Congress.; int1 -> int2: the anchusa is not a Congress.; int2 & sent3 -> int3: the killifish is not unreal.; int3 & sent5 -> hypothesis; __PROVED__