the orient is both a swanflower and not carbonaceous.
sent1: the fact that the orient is a swanflower and is carbonaceous does not hold if it is not welcoming. sent2: if the orient pours odometer then it is not seasonable. sent3: if the orient does not pour odometer it is not Malian. sent4: the fact that the odometer is not a candelabrum hold. sent5: the odometer does acidify. sent6: that the notch is not a Malian and it is not a swanflower does not hold if the internist is not carbonaceous. sent7: something is not carbonaceous if that it pours odometer and is carbonaceous is not true. sent8: that something does pain but it is not a mainstay is false if it is a Malian. sent9: the orient is not a kind of a Malian if that it pours odometer and it is not a candelabrum is not correct. sent10: if the orient is not a welcoming then that it is a swanflower and it is not carbonaceous is incorrect. sent11: something barbarizes Kraut if that it is not a Malian is true. sent12: the orient does barbarize Kraut. sent13: the fact that the orient does pour odometer but it is not a candelabrum is wrong. sent14: that the orient is a swanflower and it is carbonaceous does not hold. sent15: that the mount is a kind of a candelabrum but it is not implacable is not right. sent16: something does barbarize Kraut but it is not a welcoming if it is not a Malian. sent17: the orient does barbarize Kraut if it is not a Malian. sent18: if the notch is not a Malian then the orient is a swanflower but it is not carbonaceous. sent19: the shotgun does not pour odometer. sent20: the odometer is both phrenological and not a candelabrum if it does acidify. sent21: the fact that the odometer is not carbonaceous hold if it is phrenological and it is not a kind of a candelabrum.
sent16 -> int1: if the orient is not a Malian it does barbarize Kraut and is not a kind of a welcoming.; sent9 & sent13 -> int2: the orient is not a Malian.; int1 & int2 -> int3: the orient barbarizes Kraut but it is not welcoming.; int3 -> int4: the orient is not a welcoming.; int4 & sent10 -> hypothesis;
the fact that the orient is a pain that is not a mainstay is not true.
sent8 -> int5: if the orient is Malian that it is a pain that is not a kind of a mainstay does not hold.; sent7 -> int6: if that that the internist does pour odometer and is carbonaceous is false is right then it is not carbonaceous.; sent20 & sent5 -> int7: the odometer is phrenological but it is not a candelabrum.; sent21 & int7 -> int8: the odometer is not carbonaceous.; int8 -> int9: there are non-carbonaceous things.;
$hypothesis$ = the orient is both a swanflower and not carbonaceous. ; $context$ = sent1: the fact that the orient is a swanflower and is carbonaceous does not hold if it is not welcoming. sent2: if the orient pours odometer then it is not seasonable. sent3: if the orient does not pour odometer it is not Malian. sent4: the fact that the odometer is not a candelabrum hold. sent5: the odometer does acidify. sent6: that the notch is not a Malian and it is not a swanflower does not hold if the internist is not carbonaceous. sent7: something is not carbonaceous if that it pours odometer and is carbonaceous is not true. sent8: that something does pain but it is not a mainstay is false if it is a Malian. sent9: the orient is not a kind of a Malian if that it pours odometer and it is not a candelabrum is not correct. sent10: if the orient is not a welcoming then that it is a swanflower and it is not carbonaceous is incorrect. sent11: something barbarizes Kraut if that it is not a Malian is true. sent12: the orient does barbarize Kraut. sent13: the fact that the orient does pour odometer but it is not a candelabrum is wrong. sent14: that the orient is a swanflower and it is carbonaceous does not hold. sent15: that the mount is a kind of a candelabrum but it is not implacable is not right. sent16: something does barbarize Kraut but it is not a welcoming if it is not a Malian. sent17: the orient does barbarize Kraut if it is not a Malian. sent18: if the notch is not a Malian then the orient is a swanflower but it is not carbonaceous. sent19: the shotgun does not pour odometer. sent20: the odometer is both phrenological and not a candelabrum if it does acidify. sent21: the fact that the odometer is not carbonaceous hold if it is phrenological and it is not a kind of a candelabrum. ; $proof$ = 
sent16 -> int1: if the orient is not a Malian it does barbarize Kraut and is not a kind of a welcoming.; sent9 & sent13 -> int2: the orient is not a Malian.; int1 & int2 -> int3: the orient barbarizes Kraut but it is not welcoming.; int3 -> int4: the orient is not a welcoming.; int4 & sent10 -> hypothesis; __DISPROVED__