the drawknife is Satanic and is sepulchral.
sent1: if the constraint does bed rut then the fact that the edition is not a mallet and it is not heedful is false. sent2: the edition is not a mallet and is not heedful. sent3: if the home-farm does not bed rut that it is not a Hyssopus is not false. sent4: if the constraint does not bed rut the home-farm does not bed rut and/or is myrmecophytic. sent5: the fact that the drawknife is not a Hyssopus but it is Yeatsian is wrong if the home-farm is not a Hyssopus. sent6: the home-farm does not bed rut if it is heedful. sent7: the home-farm beds rut or is myrmecophytic or both. sent8: the edition is not a mallet. sent9: if the drawknife is not a kind of a Hyssopus the edition is not a kind of a Hyssopus or it is heedful or both. sent10: if that something is both not sepulchral and not a plasticizer is not true it is sepulchral. sent11: if something does not bed rut or it is myrmecophytic or both that it is not a Hyssopus is not incorrect. sent12: if the drawknife is not Yeatsian then it is Satanic. sent13: the drawknife is Satanic if that it is not a Hyssopus and it is Yeatsian is not correct. sent14: the fact that the drawknife is not sepulchral and it is not a plasticizer is wrong.
void -> assump1: Let's assume that the constraint beds rut.; sent1 & assump1 -> int1: the fact that the edition is not a kind of a mallet and it is not heedful is not true.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the constraint does not bed rut.; int3 & sent4 -> int4: the home-farm either does not bed rut or is myrmecophytic or both.; sent11 -> int5: the home-farm is not a kind of a Hyssopus if it does not bed rut or it is myrmecophytic or both.; int4 & int5 -> int6: the home-farm is not a Hyssopus.; int6 & sent5 -> int7: the fact that the drawknife is not a Hyssopus but it is Yeatsian is not right.; int7 & sent13 -> int8: the drawknife is Satanic.; sent10 -> int9: the drawknife is sepulchral if that it is sepulchral and it is not a plasticizer is false.; int9 & sent14 -> int10: that the drawknife is sepulchral hold.; int8 & int10 -> hypothesis;
$hypothesis$ = the drawknife is Satanic and is sepulchral. ; $context$ = sent1: if the constraint does bed rut then the fact that the edition is not a mallet and it is not heedful is false. sent2: the edition is not a mallet and is not heedful. sent3: if the home-farm does not bed rut that it is not a Hyssopus is not false. sent4: if the constraint does not bed rut the home-farm does not bed rut and/or is myrmecophytic. sent5: the fact that the drawknife is not a Hyssopus but it is Yeatsian is wrong if the home-farm is not a Hyssopus. sent6: the home-farm does not bed rut if it is heedful. sent7: the home-farm beds rut or is myrmecophytic or both. sent8: the edition is not a mallet. sent9: if the drawknife is not a kind of a Hyssopus the edition is not a kind of a Hyssopus or it is heedful or both. sent10: if that something is both not sepulchral and not a plasticizer is not true it is sepulchral. sent11: if something does not bed rut or it is myrmecophytic or both that it is not a Hyssopus is not incorrect. sent12: if the drawknife is not Yeatsian then it is Satanic. sent13: the drawknife is Satanic if that it is not a Hyssopus and it is Yeatsian is not correct. sent14: the fact that the drawknife is not sepulchral and it is not a plasticizer is wrong. ; $proof$ = 
void -> assump1: Let's assume that the constraint beds rut.; sent1 & assump1 -> int1: the fact that the edition is not a kind of a mallet and it is not heedful is not true.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the constraint does not bed rut.; int3 & sent4 -> int4: the home-farm either does not bed rut or is myrmecophytic or both.; sent11 -> int5: the home-farm is not a kind of a Hyssopus if it does not bed rut or it is myrmecophytic or both.; int4 & int5 -> int6: the home-farm is not a Hyssopus.; int6 & sent5 -> int7: the fact that the drawknife is not a Hyssopus but it is Yeatsian is not right.; int7 & sent13 -> int8: the drawknife is Satanic.; sent10 -> int9: the drawknife is sepulchral if that it is sepulchral and it is not a plasticizer is false.; int9 & sent14 -> int10: that the drawknife is sepulchral hold.; int8 & int10 -> hypothesis; __PROVED__