the orris is an elective if the Spork is a kind of a mongolism.
sent1: if the scaphopod alters the Spork is a cockscomb. sent2: the stateroom is not a cockscomb. sent3: that the supertwister is not a kind of a cockscomb is not wrong. sent4: the scaphopod is counterinsurgent. sent5: the scaphopod is counterinsurgent if the stateroom does not alter. sent6: the stateroom is not a cockscomb if the Spork is both counterinsurgent and a mongolism. sent7: if the stateroom does alter then the scaphopod is counterinsurgent. sent8: the stateroom is not a kind of a Mauritian. sent9: the stateroom is a mongolism. sent10: that the scaphopod is an elective hold if the orris does alter. sent11: the orris does not alter. sent12: the stateroom is not a mongolism if the Spork is counterinsurgent and it is a kind of an elective. sent13: if the stateroom is not a mongolism the Spork is counterinsurgent. sent14: the Spork is not an elective if the orris is a cockscomb and it is a mongolism. sent15: the LOX is not counterinsurgent. sent16: the Spork is a kind of a mongolism that alters. sent17: the propanolol is a mongolism. sent18: the fact that the stateroom does not nickel raised hold. sent19: the orris is a mongolism. sent20: if the Spork is a mongolism and it is a cockscomb the stateroom is not counterinsurgent. sent21: the scaphopod alters. sent22: the orris is not non-elective if that the stateroom is not counterinsurgent hold. sent23: the Spork is counterinsurgent. sent24: the propanolol alters.
void -> assump1: Let's assume that the Spork is a kind of a mongolism.; sent1 & sent21 -> int1: the fact that the Spork is a cockscomb is correct.; assump1 & int1 -> int2: the Spork is a mongolism and it is a cockscomb.; sent20 & int2 -> int3: the stateroom is not counterinsurgent.; sent22 & int3 -> int4: the fact that the orris is an elective is not wrong.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the orris is an elective if the Spork is a kind of a mongolism. ; $context$ = sent1: if the scaphopod alters the Spork is a cockscomb. sent2: the stateroom is not a cockscomb. sent3: that the supertwister is not a kind of a cockscomb is not wrong. sent4: the scaphopod is counterinsurgent. sent5: the scaphopod is counterinsurgent if the stateroom does not alter. sent6: the stateroom is not a cockscomb if the Spork is both counterinsurgent and a mongolism. sent7: if the stateroom does alter then the scaphopod is counterinsurgent. sent8: the stateroom is not a kind of a Mauritian. sent9: the stateroom is a mongolism. sent10: that the scaphopod is an elective hold if the orris does alter. sent11: the orris does not alter. sent12: the stateroom is not a mongolism if the Spork is counterinsurgent and it is a kind of an elective. sent13: if the stateroom is not a mongolism the Spork is counterinsurgent. sent14: the Spork is not an elective if the orris is a cockscomb and it is a mongolism. sent15: the LOX is not counterinsurgent. sent16: the Spork is a kind of a mongolism that alters. sent17: the propanolol is a mongolism. sent18: the fact that the stateroom does not nickel raised hold. sent19: the orris is a mongolism. sent20: if the Spork is a mongolism and it is a cockscomb the stateroom is not counterinsurgent. sent21: the scaphopod alters. sent22: the orris is not non-elective if that the stateroom is not counterinsurgent hold. sent23: the Spork is counterinsurgent. sent24: the propanolol alters. ; $proof$ = 
void -> assump1: Let's assume that the Spork is a kind of a mongolism.; sent1 & sent21 -> int1: the fact that the Spork is a cockscomb is correct.; assump1 & int1 -> int2: the Spork is a mongolism and it is a cockscomb.; sent20 & int2 -> int3: the stateroom is not counterinsurgent.; sent22 & int3 -> int4: the fact that the orris is an elective is not wrong.; [assump1] & int4 -> hypothesis; __PROVED__