the Khmer is not Julian.
sent1: something does not conscript Chemakum if it is not impractical. sent2: if the Park is not impractical then it does not conscript Chemakum. sent3: the fact that the pennyroyal transships Park and does not handicap hold. sent4: the pennyroyal transships Park. sent5: something does transship Park and does not conscript Chemakum if it is not impractical. sent6: the Khmer is not a kind of a Julian if the pennyroyal does conscript rusticity or it is not a Julian or both. sent7: something does transship Park but it does not conscript Chemakum if it is not genital. sent8: if that the cufflink is impractical but it is not genital is wrong then the pennyroyal is impractical. sent9: the Park does not transship Park if the pennyroyal is non-genital thing that transship Park. sent10: an impractical thing conscripts rusticity or is not a kind of a Julian or both. sent11: the Park does not conscript Chemakum. sent12: the pennyroyal is not genital but it transships Park. sent13: if the Park is impractical the Khmer is a Julian.
sent5 -> int1: the Park transships Park and does not conscript Chemakum if it is not impractical.; void -> assump1: Let's assume that the Park is not impractical.; int1 & assump1 -> int2: the Park transships Park and does not conscript Chemakum.; int2 -> int3: the Park does transship Park.; sent9 & sent12 -> int4: the Park does not transship Park.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Park is impractical.; int6 & sent13 -> hypothesis;
the Khmer is not Julian.
sent10 -> int7: the pennyroyal conscripts rusticity and/or it is not Julian if it is impractical.;
$hypothesis$ = the Khmer is not Julian. ; $context$ = sent1: something does not conscript Chemakum if it is not impractical. sent2: if the Park is not impractical then it does not conscript Chemakum. sent3: the fact that the pennyroyal transships Park and does not handicap hold. sent4: the pennyroyal transships Park. sent5: something does transship Park and does not conscript Chemakum if it is not impractical. sent6: the Khmer is not a kind of a Julian if the pennyroyal does conscript rusticity or it is not a Julian or both. sent7: something does transship Park but it does not conscript Chemakum if it is not genital. sent8: if that the cufflink is impractical but it is not genital is wrong then the pennyroyal is impractical. sent9: the Park does not transship Park if the pennyroyal is non-genital thing that transship Park. sent10: an impractical thing conscripts rusticity or is not a kind of a Julian or both. sent11: the Park does not conscript Chemakum. sent12: the pennyroyal is not genital but it transships Park. sent13: if the Park is impractical the Khmer is a Julian. ; $proof$ = 
sent5 -> int1: the Park transships Park and does not conscript Chemakum if it is not impractical.; void -> assump1: Let's assume that the Park is not impractical.; int1 & assump1 -> int2: the Park transships Park and does not conscript Chemakum.; int2 -> int3: the Park does transship Park.; sent9 & sent12 -> int4: the Park does not transship Park.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Park is impractical.; int6 & sent13 -> hypothesis; __DISPROVED__