the trojan does not proposition Thackeray.
sent1: the trojan does not pack if it propositions Thackeray. sent2: the ingrowth is not a kind of a Italic. sent3: the ingrowth does not furrow cosmetician if the saccharin furrow cosmetician and/or it is a kind of a silt. sent4: the roentgenogram is a Laver. sent5: if the decoction is horse-drawn then the roentgenogram does not disarm and is a Italic. sent6: the ingrowth is not a kind of a Zurvanism if there is something such that it does not disarm and is a kind of a Italic. sent7: something is a Zurvanism but it is not a kind of a Laver if it does not furrow cosmetician. sent8: The fact that the cosmetician does furrow saccharin is correct. sent9: if the fact that the trojan is not a tureen and not non-bracteal is wrong then the decoction is not non-horse-drawn. sent10: if the trojan is not a kind of a packing the fact that it is not a tureen but bracteal is wrong.
void -> assump1: Let's assume that that the trojan propositions Thackeray hold.; sent1 & assump1 -> int1: the trojan is not a packing.; int1 & sent10 -> int2: that the trojan is not a tureen and is bracteal does not hold.; int2 & sent9 -> int3: the decoction is horse-drawn.; int3 & sent5 -> int4: the roentgenogram does not disarm and is a Italic.; int4 -> int5: there exists something such that it does not disarm and is a Italic.; int5 & sent6 -> int6: the ingrowth is not a Zurvanism.; sent7 -> int7: if the ingrowth does not furrow cosmetician it is a Zurvanism and not a Laver.;
$hypothesis$ = the trojan does not proposition Thackeray. ; $context$ = sent1: the trojan does not pack if it propositions Thackeray. sent2: the ingrowth is not a kind of a Italic. sent3: the ingrowth does not furrow cosmetician if the saccharin furrow cosmetician and/or it is a kind of a silt. sent4: the roentgenogram is a Laver. sent5: if the decoction is horse-drawn then the roentgenogram does not disarm and is a Italic. sent6: the ingrowth is not a kind of a Zurvanism if there is something such that it does not disarm and is a kind of a Italic. sent7: something is a Zurvanism but it is not a kind of a Laver if it does not furrow cosmetician. sent8: The fact that the cosmetician does furrow saccharin is correct. sent9: if the fact that the trojan is not a tureen and not non-bracteal is wrong then the decoction is not non-horse-drawn. sent10: if the trojan is not a kind of a packing the fact that it is not a tureen but bracteal is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the trojan propositions Thackeray hold.; sent1 & assump1 -> int1: the trojan is not a packing.; int1 & sent10 -> int2: that the trojan is not a tureen and is bracteal does not hold.; int2 & sent9 -> int3: the decoction is horse-drawn.; int3 & sent5 -> int4: the roentgenogram does not disarm and is a Italic.; int4 -> int5: there exists something such that it does not disarm and is a Italic.; int5 & sent6 -> int6: the ingrowth is not a Zurvanism.; sent7 -> int7: if the ingrowth does not furrow cosmetician it is a Zurvanism and not a Laver.; __UNKNOWN__