the coalface is not a pothole.
sent1: the weapon is a methocarbamol and/or creates. sent2: the fact that the coalface is both a methocarbamol and not unaware is false. sent3: the coalface is not a pothole if it is not a methocarbamol. sent4: if the weapon is a chokepoint then the butylene is not a Boone but it does ride. sent5: if the Chadian is not a about-face then the lepidocrocite is a kind of a methylphenidate and/or it is an excavation. sent6: if the sunburst is not a kind of a Castile that the weapon is a tragedienne but it does not create is incorrect. sent7: if the lepidocrocite is a kind of an excavation the Mendelian is unaware. sent8: if the Mendelian is unaware the fact that the coalface is a kind of a methocarbamol but it does not field Mendelian is wrong. sent9: if the butylene is not a Boone but it is a kind of a ride the Chadian is not a about-face. sent10: if the lepidocrocite is a methylphenidate then the Mendelian is unaware. sent11: if the sunburst is a pothole the coalface is a kind of a pothole. sent12: if something is a Castile then the fact that it is not a chokepoint and it is a methocarbamol does not hold. sent13: something is not a kind of a pothole if that it is a methocarbamol and does not field Mendelian is not true. sent14: the sunburst is not a Castile. sent15: if that something is a tragedienne but it does not create does not hold it is a chokepoint.
sent6 & sent14 -> int1: the fact that the weapon is a kind of a tragedienne but it does not create is not correct.; sent15 -> int2: the fact that the weapon is the chokepoint if that the weapon is a kind of a tragedienne but it does not create is false is not incorrect.; int1 & int2 -> int3: the weapon is a chokepoint.; int3 & sent4 -> int4: the butylene is not a Boone and is a ride.; int4 & sent9 -> int5: the Chadian is not a about-face.; int5 & sent5 -> int6: the lepidocrocite is a methylphenidate and/or it is a kind of an excavation.; int6 & sent10 & sent7 -> int7: the Mendelian is unaware.; int7 & sent8 -> int8: that the coalface is a methocarbamol and does not field Mendelian does not hold.; sent13 -> int9: if that the coalface is a kind of a methocarbamol that does not field Mendelian is not correct then it is not a pothole.; int8 & int9 -> hypothesis;
the fragment is not a kind of a methocarbamol.
sent12 -> int10: that the sunburst is both not a chokepoint and a methocarbamol is false if it is a Castile.;
$hypothesis$ = the coalface is not a pothole. ; $context$ = sent1: the weapon is a methocarbamol and/or creates. sent2: the fact that the coalface is both a methocarbamol and not unaware is false. sent3: the coalface is not a pothole if it is not a methocarbamol. sent4: if the weapon is a chokepoint then the butylene is not a Boone but it does ride. sent5: if the Chadian is not a about-face then the lepidocrocite is a kind of a methylphenidate and/or it is an excavation. sent6: if the sunburst is not a kind of a Castile that the weapon is a tragedienne but it does not create is incorrect. sent7: if the lepidocrocite is a kind of an excavation the Mendelian is unaware. sent8: if the Mendelian is unaware the fact that the coalface is a kind of a methocarbamol but it does not field Mendelian is wrong. sent9: if the butylene is not a Boone but it is a kind of a ride the Chadian is not a about-face. sent10: if the lepidocrocite is a methylphenidate then the Mendelian is unaware. sent11: if the sunburst is a pothole the coalface is a kind of a pothole. sent12: if something is a Castile then the fact that it is not a chokepoint and it is a methocarbamol does not hold. sent13: something is not a kind of a pothole if that it is a methocarbamol and does not field Mendelian is not true. sent14: the sunburst is not a Castile. sent15: if that something is a tragedienne but it does not create does not hold it is a chokepoint. ; $proof$ = 
sent6 & sent14 -> int1: the fact that the weapon is a kind of a tragedienne but it does not create is not correct.; sent15 -> int2: the fact that the weapon is the chokepoint if that the weapon is a kind of a tragedienne but it does not create is false is not incorrect.; int1 & int2 -> int3: the weapon is a chokepoint.; int3 & sent4 -> int4: the butylene is not a Boone and is a ride.; int4 & sent9 -> int5: the Chadian is not a about-face.; int5 & sent5 -> int6: the lepidocrocite is a methylphenidate and/or it is a kind of an excavation.; int6 & sent10 & sent7 -> int7: the Mendelian is unaware.; int7 & sent8 -> int8: that the coalface is a methocarbamol and does not field Mendelian does not hold.; sent13 -> int9: if that the coalface is a kind of a methocarbamol that does not field Mendelian is not correct then it is not a pothole.; int8 & int9 -> hypothesis; __PROVED__