the plexus is not a cruet.
sent1: if the compartment is ceremonious then the Crusader is not a kind of a therapist. sent2: the Crusader is either a therapist or not ceremonious or both if it is a royal. sent3: the Crusader is a dyschezia if the ex-husband is a therapist. sent4: if the ex-husband is not a cruet then the fact that the plexus is not categorematic is correct. sent5: the by-catch is both a royal and not a subconsciousness if it is not subclavian. sent6: the ex-husband is not a cruet if that the plexus is not a dyschezia hold. sent7: the by-catch does not collar opiate and is not subclavian. sent8: if the by-catch is royal but it is not a subconsciousness then the Crusader is a royal. sent9: the ex-husband is categorematic. sent10: the fragmentation is not ceremonious. sent11: the plexus is not a therapist. sent12: the fact that the plexus is not a cruet is not wrong if the Crusader is not a therapist. sent13: the ex-husband is a kind of a dyschezia and it is categorematic. sent14: the compartment is ceremonious if the ex-husband is a kind of a dyschezia. sent15: the ex-husband is not ceremonious.
sent13 -> int1: the ex-husband is a kind of a dyschezia.; sent14 & int1 -> int2: the compartment is ceremonious.; sent1 & int2 -> int3: the Crusader is not a kind of a therapist.; sent12 & int3 -> hypothesis;
the fact that the plexus is a cruet is right.
sent7 -> int4: the fact that the by-catch is not subclavian is true.; sent5 & int4 -> int5: the by-catch is a royal and is not a subconsciousness.; sent8 & int5 -> int6: the Crusader is a kind of a royal.; sent2 & int6 -> int7: the Crusader is a therapist and/or not ceremonious.;
$hypothesis$ = the plexus is not a cruet. ; $context$ = sent1: if the compartment is ceremonious then the Crusader is not a kind of a therapist. sent2: the Crusader is either a therapist or not ceremonious or both if it is a royal. sent3: the Crusader is a dyschezia if the ex-husband is a therapist. sent4: if the ex-husband is not a cruet then the fact that the plexus is not categorematic is correct. sent5: the by-catch is both a royal and not a subconsciousness if it is not subclavian. sent6: the ex-husband is not a cruet if that the plexus is not a dyschezia hold. sent7: the by-catch does not collar opiate and is not subclavian. sent8: if the by-catch is royal but it is not a subconsciousness then the Crusader is a royal. sent9: the ex-husband is categorematic. sent10: the fragmentation is not ceremonious. sent11: the plexus is not a therapist. sent12: the fact that the plexus is not a cruet is not wrong if the Crusader is not a therapist. sent13: the ex-husband is a kind of a dyschezia and it is categorematic. sent14: the compartment is ceremonious if the ex-husband is a kind of a dyschezia. sent15: the ex-husband is not ceremonious. ; $proof$ = 
sent13 -> int1: the ex-husband is a kind of a dyschezia.; sent14 & int1 -> int2: the compartment is ceremonious.; sent1 & int2 -> int3: the Crusader is not a kind of a therapist.; sent12 & int3 -> hypothesis; __PROVED__