the pericardium is not a etcher.
sent1: the fact that something is a kind of a comet that does not shillyshally is not right if it is not sphingine. sent2: if the pericardium does spread hyperbola it is a etcher. sent3: the mulloway is a etcher if the pericardium is not a kind of a quantifiability. sent4: the mulloway does not compromise if the fact that the pericardium is a etcher but it does not spread hyperbola is not correct. sent5: that the mulloway is a quantifiability and does not spread hyperbola is not right. sent6: if the pericardium is a etcher then it is a kind of a twiddler. sent7: if something does not compromise that it is a kind of a quantifiability and is not a Tabuk is not right. sent8: the Drixoral is not a kind of a quantifiability. sent9: if something spreads hyperbola it is a compromise. sent10: if that the Drixoral is a kind of a comet but it does not shillyshally does not hold the mulloway does not twiddle. sent11: the mulloway does not dive defroster. sent12: if something is a compromise then it is a etcher. sent13: that the pericardium does twiddle is true. sent14: if the mulloway is not a etcher and is a compromise then the pericardium is not a etcher. sent15: the Drixoral is not a twiddler if the fact that the mulloway is a quantifiability but it does not spread hyperbola is not correct. sent16: the fact that the pericardium is a kind of a compromise is not incorrect if the Drixoral is not a twiddler. sent17: if something is suburban then it is cross-linguistic. sent18: the Drixoral spreads hyperbola. sent19: that the mulloway is a quantifiability that does spread hyperbola is false. sent20: if the Drixoral is a comet the fact that the mulloway is a etcher but it does not twiddle is correct. sent21: if something is a etcher then it spreads hyperbola.
sent15 & sent5 -> int1: the Drixoral is not a twiddler.; int1 & sent16 -> int2: the fact that the pericardium is a compromise hold.; sent12 -> int3: that the pericardium is a etcher hold if it does compromise.; int2 & int3 -> hypothesis;
the pericardium is not a kind of a etcher.
sent1 -> int4: if the Drixoral is not sphingine then that it is a comet and does not shillyshally does not hold.;
$hypothesis$ = the pericardium is not a etcher. ; $context$ = sent1: the fact that something is a kind of a comet that does not shillyshally is not right if it is not sphingine. sent2: if the pericardium does spread hyperbola it is a etcher. sent3: the mulloway is a etcher if the pericardium is not a kind of a quantifiability. sent4: the mulloway does not compromise if the fact that the pericardium is a etcher but it does not spread hyperbola is not correct. sent5: that the mulloway is a quantifiability and does not spread hyperbola is not right. sent6: if the pericardium is a etcher then it is a kind of a twiddler. sent7: if something does not compromise that it is a kind of a quantifiability and is not a Tabuk is not right. sent8: the Drixoral is not a kind of a quantifiability. sent9: if something spreads hyperbola it is a compromise. sent10: if that the Drixoral is a kind of a comet but it does not shillyshally does not hold the mulloway does not twiddle. sent11: the mulloway does not dive defroster. sent12: if something is a compromise then it is a etcher. sent13: that the pericardium does twiddle is true. sent14: if the mulloway is not a etcher and is a compromise then the pericardium is not a etcher. sent15: the Drixoral is not a twiddler if the fact that the mulloway is a quantifiability but it does not spread hyperbola is not correct. sent16: the fact that the pericardium is a kind of a compromise is not incorrect if the Drixoral is not a twiddler. sent17: if something is suburban then it is cross-linguistic. sent18: the Drixoral spreads hyperbola. sent19: that the mulloway is a quantifiability that does spread hyperbola is false. sent20: if the Drixoral is a comet the fact that the mulloway is a etcher but it does not twiddle is correct. sent21: if something is a etcher then it spreads hyperbola. ; $proof$ = 
sent15 & sent5 -> int1: the Drixoral is not a twiddler.; int1 & sent16 -> int2: the fact that the pericardium is a compromise hold.; sent12 -> int3: that the pericardium is a etcher hold if it does compromise.; int2 & int3 -> hypothesis; __DISPROVED__