the bola inflates arsenical.
sent1: if the arsenical is malign but it is not a tattletale then the neutron does inflate arsenical. sent2: if that the redbird is a tattletale is not wrong then the bola is a busker. sent3: that the redbird is an admissibility but it is not gerundial is false if the arsenical is malign. sent4: if that the immune is colorless is true that the redbird either is not a kind of a busker or is a Microdesmidae or both does not hold. sent5: something is a Microdesmidae but it is not a busker if it is colorless. sent6: something does not inflate arsenical if that it is malign and it is a kind of a tattletale does not hold. sent7: if something is a busker the fact that it is not a Microdesmidae and is not colorless does not hold. sent8: the arsenical is malign. sent9: something is a kind of a tattletale if the fact that it is an admissibility and is not gerundial does not hold.
sent3 & sent8 -> int1: the fact that the redbird is an admissibility but it is not gerundial is not true.; sent9 -> int2: that the redbird is a tattletale is correct if the fact that it is an admissibility and it is not gerundial is not correct.; int1 & int2 -> int3: the redbird is a kind of a tattletale.; int3 & sent2 -> int4: the bola is a busker.; sent7 -> int5: that the bola is not a Microdesmidae and it is not colorless is wrong if it is a busker.; int4 & int5 -> int6: that the bola is not a Microdesmidae and is not colorless does not hold.;
the bola does not inflate arsenical.
sent6 -> int7: the fact that if the fact that the bola is both malign and the tattletale is incorrect then the bola does not inflate arsenical is correct.;
$hypothesis$ = the bola inflates arsenical. ; $context$ = sent1: if the arsenical is malign but it is not a tattletale then the neutron does inflate arsenical. sent2: if that the redbird is a tattletale is not wrong then the bola is a busker. sent3: that the redbird is an admissibility but it is not gerundial is false if the arsenical is malign. sent4: if that the immune is colorless is true that the redbird either is not a kind of a busker or is a Microdesmidae or both does not hold. sent5: something is a Microdesmidae but it is not a busker if it is colorless. sent6: something does not inflate arsenical if that it is malign and it is a kind of a tattletale does not hold. sent7: if something is a busker the fact that it is not a Microdesmidae and is not colorless does not hold. sent8: the arsenical is malign. sent9: something is a kind of a tattletale if the fact that it is an admissibility and is not gerundial does not hold. ; $proof$ = 
sent3 & sent8 -> int1: the fact that the redbird is an admissibility but it is not gerundial is not true.; sent9 -> int2: that the redbird is a tattletale is correct if the fact that it is an admissibility and it is not gerundial is not correct.; int1 & int2 -> int3: the redbird is a kind of a tattletale.; int3 & sent2 -> int4: the bola is a busker.; sent7 -> int5: that the bola is not a Microdesmidae and it is not colorless is wrong if it is a busker.; int4 & int5 -> int6: that the bola is not a Microdesmidae and is not colorless does not hold.; __UNKNOWN__