the succulent is not a scission.
sent1: the blunderbuss is not a hoard. sent2: if something does not schematize the succulent is not a scission. sent3: The Machiavellian bones guenon. sent4: something is stemmatic if the fact that it is Sisyphean is not incorrect. sent5: something is not stemmatic if that it schematizes and it is not arenicolous does not hold. sent6: the guenon bones Machiavellian. sent7: if something is not a scission the succulent is not a Ara. sent8: if the guenon is Sisyphean then it is stemmatic. sent9: there exists something such that it does schematize. sent10: if that something is not Sisyphean and not a Ara is not right then it is stemmatic. sent11: that the guenon is Sisyphean and is not a Ara is false if there exists something such that it does not walk Cynopterus. sent12: if there is something such that the fact that it is not stemmatic is not false that the manhole is a Ara and does walk Cynopterus is not correct. sent13: the guenon is a kind of a scission if it is Sisyphean. sent14: the fact that the guenon is not Sisyphean and is not a Ara is false if there exists something such that it does not walk Cynopterus. sent15: that the guenon is both Sisyphean and not a Ara is incorrect. sent16: there is something such that it does walk Cynopterus. sent17: if that the blunderbuss does not hoard is right then that it schematizes and it is not arenicolous does not hold. sent18: the succulent is a scission if the guenon is a scission and does not walk Cynopterus. sent19: if something is stemmatic it does not bone Machiavellian.
void -> assump1: Let's assume that the surffish does not walk Cynopterus.; assump1 -> int1: there is something such that it does not walk Cynopterus.; int1 & sent14 -> int2: that the guenon is not Sisyphean and it is not a Ara does not hold.; sent10 -> int3: if the fact that the guenon is not Sisyphean and it is not a Ara is false it is stemmatic.; int2 & int3 -> int4: the guenon is not non-stemmatic.; sent19 -> int5: if the guenon is stemmatic then it does not bone Machiavellian.; int4 & int5 -> int6: the guenon does not bone Machiavellian.; int6 & sent6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the surffish walks Cynopterus.;
the succulent is a scission.
sent5 -> int9: the fact that the blunderbuss is non-stemmatic is not incorrect if the fact that it does schematize and it is not arenicolous does not hold.; sent17 & sent1 -> int10: that the blunderbuss does schematize but it is not arenicolous does not hold.; int9 & int10 -> int11: the blunderbuss is not stemmatic.; int11 -> int12: there exists something such that it is not stemmatic.; int12 & sent12 -> int13: the fact that the manhole is a kind of a Ara that does walk Cynopterus is incorrect.; int13 -> int14: there is something such that the fact that it is a kind of a Ara that walks Cynopterus is not right.;
$hypothesis$ = the succulent is not a scission. ; $context$ = sent1: the blunderbuss is not a hoard. sent2: if something does not schematize the succulent is not a scission. sent3: The Machiavellian bones guenon. sent4: something is stemmatic if the fact that it is Sisyphean is not incorrect. sent5: something is not stemmatic if that it schematizes and it is not arenicolous does not hold. sent6: the guenon bones Machiavellian. sent7: if something is not a scission the succulent is not a Ara. sent8: if the guenon is Sisyphean then it is stemmatic. sent9: there exists something such that it does schematize. sent10: if that something is not Sisyphean and not a Ara is not right then it is stemmatic. sent11: that the guenon is Sisyphean and is not a Ara is false if there exists something such that it does not walk Cynopterus. sent12: if there is something such that the fact that it is not stemmatic is not false that the manhole is a Ara and does walk Cynopterus is not correct. sent13: the guenon is a kind of a scission if it is Sisyphean. sent14: the fact that the guenon is not Sisyphean and is not a Ara is false if there exists something such that it does not walk Cynopterus. sent15: that the guenon is both Sisyphean and not a Ara is incorrect. sent16: there is something such that it does walk Cynopterus. sent17: if that the blunderbuss does not hoard is right then that it schematizes and it is not arenicolous does not hold. sent18: the succulent is a scission if the guenon is a scission and does not walk Cynopterus. sent19: if something is stemmatic it does not bone Machiavellian. ; $proof$ = 
void -> assump1: Let's assume that the surffish does not walk Cynopterus.; assump1 -> int1: there is something such that it does not walk Cynopterus.; int1 & sent14 -> int2: that the guenon is not Sisyphean and it is not a Ara does not hold.; sent10 -> int3: if the fact that the guenon is not Sisyphean and it is not a Ara is false it is stemmatic.; int2 & int3 -> int4: the guenon is not non-stemmatic.; sent19 -> int5: if the guenon is stemmatic then it does not bone Machiavellian.; int4 & int5 -> int6: the guenon does not bone Machiavellian.; int6 & sent6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the surffish walks Cynopterus.; __UNKNOWN__