the publicist is not indiscriminate.
sent1: the publicist does not expire Europeanization if the ampulla is not susceptible. sent2: if something is not oligarchic it is not a Offenbach and is not hotbed. sent3: if something is not a breaststroker and is not a kind of a corticosteroid then that it is not oligarchic hold. sent4: the fact that the ampulla is not susceptible hold. sent5: if the XYY is not a muscle then that it does not broadside Ultrasuede and it does not expire Hillary is wrong. sent6: the ampulla does not expire Europeanization if the publicist is not susceptible. sent7: the publicist does not expire Europeanization and is not indiscriminate if the fact that the ampulla is not susceptible is not wrong. sent8: the publicist does not expire Europeanization. sent9: if there exists something such that that it does not broadside Ultrasuede and does not expire Hillary is not correct then the Tlingit is not Handelian. sent10: the fact that the fossil does not expire Europeanization is not incorrect. sent11: the ampulla is not nonassociative if the Tlingit is not a kind of a Offenbach and it is not hotbed. sent12: something that is susceptible is indiscriminate. sent13: something is not a breaststroker and is not a kind of a corticosteroid if it is not Handelian. sent14: the XYY is not wingless and it does not muscle. sent15: the publicist is susceptible and/or it is radiopaque if the ampulla is not nonassociative.
sent7 & sent4 -> int1: the publicist does not expire Europeanization and it is not indiscriminate.; int1 -> hypothesis;
the publicist is indiscriminate.
sent2 -> int2: the fact that the Tlingit is not a kind of a Offenbach and is not hotbed is not incorrect if it is not oligarchic.; sent3 -> int3: the Tlingit is not oligarchic if it is not a breaststroker and not a corticosteroid.; sent13 -> int4: if the Tlingit is non-Handelian then it is not a breaststroker and is not a kind of a corticosteroid.; sent14 -> int5: the XYY is not a muscle.; sent5 & int5 -> int6: that the XYY does not broadside Ultrasuede and it does not expire Hillary is wrong.; int6 -> int7: there is something such that the fact that it does not broadside Ultrasuede and it does not expire Hillary is not true.; int7 & sent9 -> int8: the Tlingit is not Handelian.; int4 & int8 -> int9: the Tlingit is not a breaststroker and it is not a corticosteroid.; int3 & int9 -> int10: the Tlingit is not oligarchic.; int2 & int10 -> int11: the Tlingit is not a Offenbach and not hotbed.; sent11 & int11 -> int12: the ampulla is not nonassociative.; sent15 & int12 -> int13: the publicist is susceptible or it is not non-radiopaque or both.; sent12 -> int14: if the publicist is susceptible then it is indiscriminate.;
$hypothesis$ = the publicist is not indiscriminate. ; $context$ = sent1: the publicist does not expire Europeanization if the ampulla is not susceptible. sent2: if something is not oligarchic it is not a Offenbach and is not hotbed. sent3: if something is not a breaststroker and is not a kind of a corticosteroid then that it is not oligarchic hold. sent4: the fact that the ampulla is not susceptible hold. sent5: if the XYY is not a muscle then that it does not broadside Ultrasuede and it does not expire Hillary is wrong. sent6: the ampulla does not expire Europeanization if the publicist is not susceptible. sent7: the publicist does not expire Europeanization and is not indiscriminate if the fact that the ampulla is not susceptible is not wrong. sent8: the publicist does not expire Europeanization. sent9: if there exists something such that that it does not broadside Ultrasuede and does not expire Hillary is not correct then the Tlingit is not Handelian. sent10: the fact that the fossil does not expire Europeanization is not incorrect. sent11: the ampulla is not nonassociative if the Tlingit is not a kind of a Offenbach and it is not hotbed. sent12: something that is susceptible is indiscriminate. sent13: something is not a breaststroker and is not a kind of a corticosteroid if it is not Handelian. sent14: the XYY is not wingless and it does not muscle. sent15: the publicist is susceptible and/or it is radiopaque if the ampulla is not nonassociative. ; $proof$ = 
sent7 & sent4 -> int1: the publicist does not expire Europeanization and it is not indiscriminate.; int1 -> hypothesis; __PROVED__