the fact that the potamogale is an oblique and/or it is a kind of a Sfax is not correct.
sent1: that the drivel is not a rig is not wrong if it is not a Sfax. sent2: that the potamogale is a nook or it is altricial or both is not right. sent3: if the potamogale is a melter then the drivel is not a Sfax. sent4: the fact that the potamogale is not a Sfax is not false if the drivel is an oblique. sent5: if that the potamogale is a melter but it is not a Sfax does not hold it is a rig. sent6: the drivel is a rig. sent7: the potamogale is not a melter if the drivel is not non-oblique or it is a kind of a Sfax or both. sent8: the potamogale is not a AFSPC if the drivel is a melter or rigs or both. sent9: if the potamogale is a AFSPC that is a rig the drivel is not a AFSPC. sent10: the potamogale is a rig. sent11: that the potamogale is an oblique and/or a Sfax does not hold if it is not a AFSPC. sent12: the potamogale is not an oblique if that it is not a AFSPC hold. sent13: that the potamogale is a kind of a AFSPC hold if the fact that the uplift does not stipulate and is not a AFSPC is not right. sent14: the potamogale is non-oblique if the drivel is a AFSPC and/or it is a kind of a rig. sent15: the drivel is a kind of an oblique and/or voids. sent16: the fact that something is a melter but it is not a kind of a Sfax is not true if it is not an oblique.
sent6 -> int1: either the drivel is a melter or it rigs or both.; int1 & sent8 -> int2: the potamogale is not a AFSPC.; int2 & sent11 -> hypothesis;
the drivel is not a kind of a AFSPC.
sent16 -> int3: the fact that the potamogale is a melter but it is not a Sfax is not correct if that it is not an oblique hold.;
$hypothesis$ = the fact that the potamogale is an oblique and/or it is a kind of a Sfax is not correct. ; $context$ = sent1: that the drivel is not a rig is not wrong if it is not a Sfax. sent2: that the potamogale is a nook or it is altricial or both is not right. sent3: if the potamogale is a melter then the drivel is not a Sfax. sent4: the fact that the potamogale is not a Sfax is not false if the drivel is an oblique. sent5: if that the potamogale is a melter but it is not a Sfax does not hold it is a rig. sent6: the drivel is a rig. sent7: the potamogale is not a melter if the drivel is not non-oblique or it is a kind of a Sfax or both. sent8: the potamogale is not a AFSPC if the drivel is a melter or rigs or both. sent9: if the potamogale is a AFSPC that is a rig the drivel is not a AFSPC. sent10: the potamogale is a rig. sent11: that the potamogale is an oblique and/or a Sfax does not hold if it is not a AFSPC. sent12: the potamogale is not an oblique if that it is not a AFSPC hold. sent13: that the potamogale is a kind of a AFSPC hold if the fact that the uplift does not stipulate and is not a AFSPC is not right. sent14: the potamogale is non-oblique if the drivel is a AFSPC and/or it is a kind of a rig. sent15: the drivel is a kind of an oblique and/or voids. sent16: the fact that something is a melter but it is not a kind of a Sfax is not true if it is not an oblique. ; $proof$ = 
sent6 -> int1: either the drivel is a melter or it rigs or both.; int1 & sent8 -> int2: the potamogale is not a AFSPC.; int2 & sent11 -> hypothesis; __PROVED__