the Bavarian is authorial thing that is katabatic.
sent1: something is external if it does articulate. sent2: if the coupe is Cappadocian then the Bavarian is katabatic. sent3: the Miniconju is a lane but not agonal. sent4: if something does not mingle Continent then it is a kind of an external and it is a restfulness. sent5: if that the sabra is coccal hold then it does contour. sent6: the shutterbug is not Cappadocian but it is an inhibitor if the fact that the coupe is not a mileage is incorrect. sent7: that the sabra is coccal is not incorrect. sent8: the glucosamine is Cappadocian. sent9: if the fact that something is katabatic thing that is Cappadocian is not false then it is a lane. sent10: the coupe is a kind of a mileage if the glutethimide is a Bren. sent11: the Miniconju is a lane. sent12: that the shutterbug is not a restfulness hold. sent13: if something is a kind of a lane but it is not agonal it is not non-katabatic. sent14: if something is an inhibitor then it does not mingle Continent and is Cappadocian. sent15: either the coupe is Cappadocian or it is katabatic or both. sent16: if something that is not Cappadocian is an inhibitor then it does not mingle Continent. sent17: if the shutterbug is not articulate that the Bavarian is authorial and is katabatic is not true. sent18: the shutterbug is not a kind of a restfulness if the Miniconju is a restfulness. sent19: the shutterbug is articulate thing that is not a restfulness if the fact that the Miniconju is a kind of a restfulness is not false. sent20: if the coupe is katabatic the Bavarian is katabatic. sent21: if there is something such that it does not articulate then that the Bavarian is authorial and it is katabatic is not true. sent22: that if the coupe does not mingle Continent and is Cappadocian that the shutterbug is not a kind of a restfulness is right is not false. sent23: something is a kind of a restfulness if it is a lane and it is not agonal. sent24: if the shutterbug is an external then the Bavarian is authorial.
sent23 -> int1: if the Miniconju is a lane but not agonal it is a restfulness.; int1 & sent3 -> int2: the Miniconju is a restfulness.; int2 & sent19 -> int3: the shutterbug is a kind of articulate thing that is not a restfulness.; int3 -> int4: the shutterbug articulates.; sent1 -> int5: if the shutterbug articulates then it is an external.; int4 & int5 -> int6: the shutterbug is a kind of an external.; int6 & sent24 -> int7: the fact that the Bavarian is authorial hold.; sent15 & sent2 & sent20 -> int8: the Bavarian is katabatic.; int7 & int8 -> hypothesis;
that the Bavarian is authorial thing that is katabatic is not true.
sent14 -> int9: that the glutethimide does not mingle Continent and is Cappadocian is true if it is an inhibitor.;
$hypothesis$ = the Bavarian is authorial thing that is katabatic. ; $context$ = sent1: something is external if it does articulate. sent2: if the coupe is Cappadocian then the Bavarian is katabatic. sent3: the Miniconju is a lane but not agonal. sent4: if something does not mingle Continent then it is a kind of an external and it is a restfulness. sent5: if that the sabra is coccal hold then it does contour. sent6: the shutterbug is not Cappadocian but it is an inhibitor if the fact that the coupe is not a mileage is incorrect. sent7: that the sabra is coccal is not incorrect. sent8: the glucosamine is Cappadocian. sent9: if the fact that something is katabatic thing that is Cappadocian is not false then it is a lane. sent10: the coupe is a kind of a mileage if the glutethimide is a Bren. sent11: the Miniconju is a lane. sent12: that the shutterbug is not a restfulness hold. sent13: if something is a kind of a lane but it is not agonal it is not non-katabatic. sent14: if something is an inhibitor then it does not mingle Continent and is Cappadocian. sent15: either the coupe is Cappadocian or it is katabatic or both. sent16: if something that is not Cappadocian is an inhibitor then it does not mingle Continent. sent17: if the shutterbug is not articulate that the Bavarian is authorial and is katabatic is not true. sent18: the shutterbug is not a kind of a restfulness if the Miniconju is a restfulness. sent19: the shutterbug is articulate thing that is not a restfulness if the fact that the Miniconju is a kind of a restfulness is not false. sent20: if the coupe is katabatic the Bavarian is katabatic. sent21: if there is something such that it does not articulate then that the Bavarian is authorial and it is katabatic is not true. sent22: that if the coupe does not mingle Continent and is Cappadocian that the shutterbug is not a kind of a restfulness is right is not false. sent23: something is a kind of a restfulness if it is a lane and it is not agonal. sent24: if the shutterbug is an external then the Bavarian is authorial. ; $proof$ = 
sent23 -> int1: if the Miniconju is a lane but not agonal it is a restfulness.; int1 & sent3 -> int2: the Miniconju is a restfulness.; int2 & sent19 -> int3: the shutterbug is a kind of articulate thing that is not a restfulness.; int3 -> int4: the shutterbug articulates.; sent1 -> int5: if the shutterbug articulates then it is an external.; int4 & int5 -> int6: the shutterbug is a kind of an external.; int6 & sent24 -> int7: the fact that the Bavarian is authorial hold.; sent15 & sent2 & sent20 -> int8: the Bavarian is katabatic.; int7 & int8 -> hypothesis; __PROVED__