there exists something such that if that it is actuarial is not false then that it is a kind of an arrhythmia and it is not a Cicero is not right.
sent1: the fact that the gayfeather is an arrhythmia and not a Cicero is not right if it is actuarial. sent2: the fact that the gayfeather is an arrhythmia that is a Cicero does not hold if it is actuarial.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is actuarial is not false then that it is a kind of an arrhythmia and it is not a Cicero is not right. ; $context$ = sent1: the fact that the gayfeather is an arrhythmia and not a Cicero is not right if it is actuarial. sent2: the fact that the gayfeather is an arrhythmia that is a Cicero does not hold if it is actuarial. ; $proof$ = 
sent1 -> hypothesis; __PROVED__