the swanflower does bestir beating.
sent1: the ticker liquefies ticker and/or it is not a RA. sent2: if the ticker does liquefy ticker then the swanflower does not liquefy ticker. sent3: something is not onomastic or a PAC or both if it does not liquefy ticker. sent4: if the ticker is not a RA then the swanflower does not liquefy ticker. sent5: if something is not onomastic or is a PAC or both then it bestirs beating.
sent3 -> int1: if the swanflower does not liquefy ticker then it is not onomastic and/or it is a PAC.; sent1 & sent2 & sent4 -> int2: the swanflower does not liquefy ticker.; int1 & int2 -> int3: the swanflower is not onomastic and/or it is a PAC.; sent5 -> int4: the swanflower bestirs beating if it is not onomastic and/or it is a PAC.; int3 & int4 -> hypothesis;
$hypothesis$ = the swanflower does bestir beating. ; $context$ = sent1: the ticker liquefies ticker and/or it is not a RA. sent2: if the ticker does liquefy ticker then the swanflower does not liquefy ticker. sent3: something is not onomastic or a PAC or both if it does not liquefy ticker. sent4: if the ticker is not a RA then the swanflower does not liquefy ticker. sent5: if something is not onomastic or is a PAC or both then it bestirs beating. ; $proof$ = 
sent3 -> int1: if the swanflower does not liquefy ticker then it is not onomastic and/or it is a PAC.; sent1 & sent2 & sent4 -> int2: the swanflower does not liquefy ticker.; int1 & int2 -> int3: the swanflower is not onomastic and/or it is a PAC.; sent5 -> int4: the swanflower bestirs beating if it is not onomastic and/or it is a PAC.; int3 & int4 -> hypothesis; __PROVED__