the green is a kind of a uninterestingness.
sent1: that the green is not bronchial is true if the newspaper is not maladaptive and it does not detail conservative. sent2: if something is not bronchial the fact that it is not a kind of a uninterestingness is true. sent3: the newspaper is a kind of non-maladaptive thing that does not detail conservative if the docent does not detail conservative. sent4: the docent does not enjoy if it does bolster and/or details conservative. sent5: the newspaper does not detail conservative. sent6: the docent does clangor Plataleidae. sent7: the docent does clangor Plataleidae and enjoys. sent8: the casket does not clangor Plataleidae.
void -> assump1: Let's assume that the docent does detail conservative.; assump1 -> int1: the docent is a bolster or details conservative or both.; int1 & sent4 -> int2: the docent does not enjoy.; sent7 -> int3: the docent does enjoy.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the docent does not detail conservative.; int5 & sent3 -> int6: the newspaper is not maladaptive and it does not detail conservative.; int6 & sent1 -> int7: the green is not bronchial.; sent2 -> int8: if the fact that the green is not bronchial is true it is not a uninterestingness.; int7 & int8 -> hypothesis;
$hypothesis$ = the green is a kind of a uninterestingness. ; $context$ = sent1: that the green is not bronchial is true if the newspaper is not maladaptive and it does not detail conservative. sent2: if something is not bronchial the fact that it is not a kind of a uninterestingness is true. sent3: the newspaper is a kind of non-maladaptive thing that does not detail conservative if the docent does not detail conservative. sent4: the docent does not enjoy if it does bolster and/or details conservative. sent5: the newspaper does not detail conservative. sent6: the docent does clangor Plataleidae. sent7: the docent does clangor Plataleidae and enjoys. sent8: the casket does not clangor Plataleidae. ; $proof$ = 
void -> assump1: Let's assume that the docent does detail conservative.; assump1 -> int1: the docent is a bolster or details conservative or both.; int1 & sent4 -> int2: the docent does not enjoy.; sent7 -> int3: the docent does enjoy.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the docent does not detail conservative.; int5 & sent3 -> int6: the newspaper is not maladaptive and it does not detail conservative.; int6 & sent1 -> int7: the green is not bronchial.; sent2 -> int8: if the fact that the green is not bronchial is true it is not a uninterestingness.; int7 & int8 -> hypothesis; __DISPROVED__