the felo-de-se is a woof.
sent1: that the fact that the rampion does not rope rampion and is not a Gainesville is wrong is not false if the fact that it does not concoct refractory is not false. sent2: the felo-de-se is not a woof if the fact that the hogback is a professional and is a kind of a woof is false. sent3: if the fact that that the rampion does not rope rampion and it is not a kind of a Gainesville is false is not false that the hogback is a Gainesville is not false. sent4: if the felo-de-se is not a woof then the fact that the hogback is a pyrite and does glare Taney is wrong. sent5: the butyrin is a bandage and it is a kind of a Rappahannock. sent6: the felo-de-se does not rope lumpfish. sent7: the fact that something is not a kind of a pyrite is not wrong if the fact that it is a woof and it is professional is not true. sent8: that something is not a professional is not wrong if it does not glare Taney. sent9: the hogback bandages. sent10: if the fact that the fact that something is a woof and it does glare Taney is right is wrong it is not a kind of a pyrite. sent11: there exists something such that the fact that it is not a pushball hold. sent12: if something is a derision and is a Gainesville then it is not a kind of a bandage. sent13: if something does not bandage the fact that it is both professional and a woof is incorrect. sent14: the fact that the hogback glares Taney and it is attachable if the hogback is not ostentatious hold. sent15: the hogback is not a derision. sent16: if the hogback is not a derision then it is professional and it is a bandage. sent17: if the hogback is not a derision it is a bandage. sent18: the felo-de-se is not professional. sent19: the hogback is not a threescore. sent20: the hogback is not a professional if it does not glare Taney.
void -> assump1: Let's assume that the felo-de-se is not a woof.; sent4 & assump1 -> int1: that the hogback is a pyrite and it glares Taney is not correct.; sent16 & sent15 -> int2: the hogback is professional a bandage.; int2 -> int3: the hogback is professional.;
the felo-de-se is not a woof.
sent13 -> int4: if the hogback is not a bandage the fact that it is a kind of a professional and it is a woof is not correct.; sent12 -> int5: if the hogback is a derision and is a kind of a Gainesville it is not a kind of a bandage.;
$hypothesis$ = the felo-de-se is a woof. ; $context$ = sent1: that the fact that the rampion does not rope rampion and is not a Gainesville is wrong is not false if the fact that it does not concoct refractory is not false. sent2: the felo-de-se is not a woof if the fact that the hogback is a professional and is a kind of a woof is false. sent3: if the fact that that the rampion does not rope rampion and it is not a kind of a Gainesville is false is not false that the hogback is a Gainesville is not false. sent4: if the felo-de-se is not a woof then the fact that the hogback is a pyrite and does glare Taney is wrong. sent5: the butyrin is a bandage and it is a kind of a Rappahannock. sent6: the felo-de-se does not rope lumpfish. sent7: the fact that something is not a kind of a pyrite is not wrong if the fact that it is a woof and it is professional is not true. sent8: that something is not a professional is not wrong if it does not glare Taney. sent9: the hogback bandages. sent10: if the fact that the fact that something is a woof and it does glare Taney is right is wrong it is not a kind of a pyrite. sent11: there exists something such that the fact that it is not a pushball hold. sent12: if something is a derision and is a Gainesville then it is not a kind of a bandage. sent13: if something does not bandage the fact that it is both professional and a woof is incorrect. sent14: the fact that the hogback glares Taney and it is attachable if the hogback is not ostentatious hold. sent15: the hogback is not a derision. sent16: if the hogback is not a derision then it is professional and it is a bandage. sent17: if the hogback is not a derision it is a bandage. sent18: the felo-de-se is not professional. sent19: the hogback is not a threescore. sent20: the hogback is not a professional if it does not glare Taney. ; $proof$ = 
void -> assump1: Let's assume that the felo-de-se is not a woof.; sent4 & assump1 -> int1: that the hogback is a pyrite and it glares Taney is not correct.; sent16 & sent15 -> int2: the hogback is professional a bandage.; int2 -> int3: the hogback is professional.; __UNKNOWN__