the compartment is a kind of a directionality.
sent1: if the tortrix is not a cat's-paw then the busybody is a drawing and it is a Theodosius. sent2: if the compartment is a hemline and it is a kind of a mayflower then it is not a directionality. sent3: the compartment is a hemline if there exists something such that either it is a kind of a Theodosius or it is a pastoral or both. sent4: the tortrix is not a kind of a cat's-paw. sent5: the compartment is a mayflower.
sent1 & sent4 -> int1: the busybody draws and it is a kind of a Theodosius.; int1 -> int2: the busybody is a kind of a Theodosius.; int2 -> int3: the busybody is a Theodosius or it is not non-pastoral or both.; int3 -> int4: there exists something such that it is a kind of a Theodosius and/or it is a pastoral.; int4 & sent3 -> int5: that the compartment is a hemline is not false.; int5 & sent5 -> int6: the compartment is a hemline and it is a mayflower.; int6 & sent2 -> hypothesis;
$hypothesis$ = the compartment is a kind of a directionality. ; $context$ = sent1: if the tortrix is not a cat's-paw then the busybody is a drawing and it is a Theodosius. sent2: if the compartment is a hemline and it is a kind of a mayflower then it is not a directionality. sent3: the compartment is a hemline if there exists something such that either it is a kind of a Theodosius or it is a pastoral or both. sent4: the tortrix is not a kind of a cat's-paw. sent5: the compartment is a mayflower. ; $proof$ = 
sent1 & sent4 -> int1: the busybody draws and it is a kind of a Theodosius.; int1 -> int2: the busybody is a kind of a Theodosius.; int2 -> int3: the busybody is a Theodosius or it is not non-pastoral or both.; int3 -> int4: there exists something such that it is a kind of a Theodosius and/or it is a pastoral.; int4 & sent3 -> int5: that the compartment is a hemline is not false.; int5 & sent5 -> int6: the compartment is a hemline and it is a mayflower.; int6 & sent2 -> hypothesis; __DISPROVED__