the semiweekly does not barbarize Varuna if the ununbium does not broaden.
sent1: the semiweekly is camphoric. sent2: the semiweekly is not cyclothymic if the fact that it is not camphoric is not false. sent3: something is not cyclothymic if it is not camphoric. sent4: if the semiweekly does broaden but it is not camphoric it is not leafless. sent5: if the ununbium broadens the semiweekly does not barbarize Varuna. sent6: if that something is camphoric and it does barbarize Varuna does not hold then it is not cyclothymic. sent7: if the semiweekly is not cyclothymic then the cerebrum does barbarize Para and it is leafless. sent8: if a camphoric thing does not barbarize Varuna then it is not cyclothymic. sent9: the semiweekly barbarizes Varuna if the ununbium does not broaden. sent10: the cerebrum is criminological and is a variometer. sent11: the cerebrum is leafless. sent12: if that the cerebrum does not broaden is not incorrect the semiweekly does barbarize Varuna and barbarizes Para. sent13: the ununbium is cyclothymic if the semiweekly does broaden. sent14: if the semiweekly is not cyclothymic the cerebrum is leafless. sent15: if that something is camphoric and does not barbarize Varuna is not correct it is not cyclothymic. sent16: if the fact that the semiweekly is camphoric and it does barbarize Varuna does not hold then the fact that it is not cyclothymic is right. sent17: if the semiweekly is a kind of camphoric thing that does not barbarize Varuna then it is not cyclothymic.
sent15 -> int1: if that the semiweekly is camphoric and does not barbarize Varuna does not hold then it is not cyclothymic.; void -> assump2: Let's assume that that the semiweekly is camphoric but it does not barbarize Varuna is not correct.; int1 & assump2 -> int2: the semiweekly is not cyclothymic.; sent7 & int2 -> int3: the cerebrum does barbarize Para and is leafless.; int3 -> int4: the cerebrum barbarizes Para.;
$hypothesis$ = the semiweekly does not barbarize Varuna if the ununbium does not broaden. ; $context$ = sent1: the semiweekly is camphoric. sent2: the semiweekly is not cyclothymic if the fact that it is not camphoric is not false. sent3: something is not cyclothymic if it is not camphoric. sent4: if the semiweekly does broaden but it is not camphoric it is not leafless. sent5: if the ununbium broadens the semiweekly does not barbarize Varuna. sent6: if that something is camphoric and it does barbarize Varuna does not hold then it is not cyclothymic. sent7: if the semiweekly is not cyclothymic then the cerebrum does barbarize Para and it is leafless. sent8: if a camphoric thing does not barbarize Varuna then it is not cyclothymic. sent9: the semiweekly barbarizes Varuna if the ununbium does not broaden. sent10: the cerebrum is criminological and is a variometer. sent11: the cerebrum is leafless. sent12: if that the cerebrum does not broaden is not incorrect the semiweekly does barbarize Varuna and barbarizes Para. sent13: the ununbium is cyclothymic if the semiweekly does broaden. sent14: if the semiweekly is not cyclothymic the cerebrum is leafless. sent15: if that something is camphoric and does not barbarize Varuna is not correct it is not cyclothymic. sent16: if the fact that the semiweekly is camphoric and it does barbarize Varuna does not hold then the fact that it is not cyclothymic is right. sent17: if the semiweekly is a kind of camphoric thing that does not barbarize Varuna then it is not cyclothymic. ; $proof$ = 
sent15 -> int1: if that the semiweekly is camphoric and does not barbarize Varuna does not hold then it is not cyclothymic.; void -> assump2: Let's assume that that the semiweekly is camphoric but it does not barbarize Varuna is not correct.; int1 & assump2 -> int2: the semiweekly is not cyclothymic.; sent7 & int2 -> int3: the cerebrum does barbarize Para and is leafless.; int3 -> int4: the cerebrum barbarizes Para.; __UNKNOWN__