there exists something such that if the fact that it is not a shoji and it is not non-altitudinal does not hold then it is not a Michelson.
sent1: something is not a pedal if the fact that it is both not raptorial and homologous does not hold. sent2: there is something such that if the fact that it does not describe and it is a bluffer is not correct it is not antitypic. sent3: that there exists something such that if the fact that it does not alibi GCSE and is a collider is not true then the fact that it is non-joyous is not false hold. sent4: there exists something such that if it is a shoji then it is not a kind of a Michelson. sent5: the fact that the lespedeza is a kind of a Michelson is not wrong if that it is not a shoji but altitudinal does not hold. sent6: something that is a kind of a shoji is not a Michelson. sent7: there exists something such that if that it is not a shoji and it is altitudinal does not hold then it is a Michelson. sent8: there exists something such that if it is not a shoji but altitudinal then it is not a Michelson. sent9: something is not a Michelson if it is not a shoji and is altitudinal. sent10: if the fact that the lespedeza does not strain inoculation and is a kind of a shoji is not true it is not apothegmatic. sent11: if the lespedeza is a kind of a shoji then it is not a kind of a Michelson. sent12: something does not strain deerskin if the fact that it is non-anhydrous thing that is a chancery is not correct. sent13: the lespedeza is not a Michelson if it is not a shoji and is altitudinal. sent14: something is a Michelson if the fact that it is not a shoji and is altitudinal does not hold. sent15: if that the hippie is both not a bluffer and antiadrenergic is wrong then it is not Serbian.
there is something such that if the fact that it is not raptorial and it is homologous is wrong it is not a pedal.
sent1 -> int1: if the fact that the preservative is not raptorial but it is homologous is not right it is not a pedal.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a shoji and it is not non-altitudinal does not hold then it is not a Michelson. ; $context$ = sent1: something is not a pedal if the fact that it is both not raptorial and homologous does not hold. sent2: there is something such that if the fact that it does not describe and it is a bluffer is not correct it is not antitypic. sent3: that there exists something such that if the fact that it does not alibi GCSE and is a collider is not true then the fact that it is non-joyous is not false hold. sent4: there exists something such that if it is a shoji then it is not a kind of a Michelson. sent5: the fact that the lespedeza is a kind of a Michelson is not wrong if that it is not a shoji but altitudinal does not hold. sent6: something that is a kind of a shoji is not a Michelson. sent7: there exists something such that if that it is not a shoji and it is altitudinal does not hold then it is a Michelson. sent8: there exists something such that if it is not a shoji but altitudinal then it is not a Michelson. sent9: something is not a Michelson if it is not a shoji and is altitudinal. sent10: if the fact that the lespedeza does not strain inoculation and is a kind of a shoji is not true it is not apothegmatic. sent11: if the lespedeza is a kind of a shoji then it is not a kind of a Michelson. sent12: something does not strain deerskin if the fact that it is non-anhydrous thing that is a chancery is not correct. sent13: the lespedeza is not a Michelson if it is not a shoji and is altitudinal. sent14: something is a Michelson if the fact that it is not a shoji and is altitudinal does not hold. sent15: if that the hippie is both not a bluffer and antiadrenergic is wrong then it is not Serbian. ; $proof$ = 
__UNKNOWN__