the adviser is a kind of a Wilson.
sent1: the sleeper is a Tetraonidae. sent2: the fact that the cicerone does syllogize picturing but it is not a bellicosity is incorrect. sent3: something is not purposeful if that it is a knout and it is not acetonic is wrong. sent4: if the cubitiere is not a knout it is non-purposeful. sent5: if something is caudal then it is a kind of a Wilson. sent6: if the cubitiere is not purposeful the fact that the cicerone does not syllogize picturing and is not a bellicosity is wrong. sent7: if the cicerone is a running either the cubitiere is not purposeful or it is a scandalmongering or both. sent8: if something is not caudal that it is not raptorial but a bellicosity is false. sent9: the fact that the cicerone does syllogize picturing and is not a bellicosity is not correct if the cubitiere is not purposeful. sent10: something is not a Wilson if that that it is purposeful thing that is a kind of a running is correct is incorrect. sent11: something does not syllogize picturing if that it is not raptorial and it is a bellicosity is not true. sent12: the fact that the cicerone does not syllogize picturing but it is a kind of a bellicosity is not true. sent13: if the fact that the cubitiere is not a running is not incorrect then the fact that it is a kind of a knout and is not acetonic is wrong. sent14: that the cubitiere is not a running is true. sent15: the adviser is caudal if the sleeper is raptorial.
sent13 & sent14 -> int1: the fact that the cubitiere is a knout but not acetonic is not true.; sent3 -> int2: the cubitiere is not purposeful if the fact that it is a knout and is not acetonic is not correct.; int1 & int2 -> int3: the cubitiere is not purposeful.; int3 & sent6 -> int4: the fact that the cicerone does not syllogize picturing and is not a bellicosity does not hold.; int4 -> int5: there exists something such that that it does not syllogize picturing and is not a kind of a bellicosity is incorrect.; sent5 -> int6: the fact that the adviser is not a Wilson is not true if it is caudal.;
the sleeper is a scandalmongering.
$hypothesis$ = the adviser is a kind of a Wilson. ; $context$ = sent1: the sleeper is a Tetraonidae. sent2: the fact that the cicerone does syllogize picturing but it is not a bellicosity is incorrect. sent3: something is not purposeful if that it is a knout and it is not acetonic is wrong. sent4: if the cubitiere is not a knout it is non-purposeful. sent5: if something is caudal then it is a kind of a Wilson. sent6: if the cubitiere is not purposeful the fact that the cicerone does not syllogize picturing and is not a bellicosity is wrong. sent7: if the cicerone is a running either the cubitiere is not purposeful or it is a scandalmongering or both. sent8: if something is not caudal that it is not raptorial but a bellicosity is false. sent9: the fact that the cicerone does syllogize picturing and is not a bellicosity is not correct if the cubitiere is not purposeful. sent10: something is not a Wilson if that that it is purposeful thing that is a kind of a running is correct is incorrect. sent11: something does not syllogize picturing if that it is not raptorial and it is a bellicosity is not true. sent12: the fact that the cicerone does not syllogize picturing but it is a kind of a bellicosity is not true. sent13: if the fact that the cubitiere is not a running is not incorrect then the fact that it is a kind of a knout and is not acetonic is wrong. sent14: that the cubitiere is not a running is true. sent15: the adviser is caudal if the sleeper is raptorial. ; $proof$ = 
sent13 & sent14 -> int1: the fact that the cubitiere is a knout but not acetonic is not true.; sent3 -> int2: the cubitiere is not purposeful if the fact that it is a knout and is not acetonic is not correct.; int1 & int2 -> int3: the cubitiere is not purposeful.; int3 & sent6 -> int4: the fact that the cicerone does not syllogize picturing and is not a bellicosity does not hold.; int4 -> int5: there exists something such that that it does not syllogize picturing and is not a kind of a bellicosity is incorrect.; sent5 -> int6: the fact that the adviser is not a Wilson is not true if it is caudal.; __UNKNOWN__