the pairing is not continual.
sent1: something that is larval is cyclothymic. sent2: the pairing is larval. sent3: if the fact that something does not render couture and it is not horary is false it is not cyclothymic.
void -> assump1: Let's assume that the pairing is continual.; sent3 -> int1: if the fact that the fact that the pairing does not render couture and it is not horary is true is wrong then it is not cyclothymic.; sent1 -> int2: if the pairing is larval it is cyclothymic.; int2 & sent2 -> int3: the pairing is cyclothymic.;
$hypothesis$ = the pairing is not continual. ; $context$ = sent1: something that is larval is cyclothymic. sent2: the pairing is larval. sent3: if the fact that something does not render couture and it is not horary is false it is not cyclothymic. ; $proof$ = 
void -> assump1: Let's assume that the pairing is continual.; sent3 -> int1: if the fact that the fact that the pairing does not render couture and it is not horary is true is wrong then it is not cyclothymic.; sent1 -> int2: if the pairing is larval it is cyclothymic.; int2 & sent2 -> int3: the pairing is cyclothymic.; __UNKNOWN__