the rearward is not a reception.
sent1: the fact that something is a Soufflot and a restrainer is not correct if it does not augment. sent2: the fact that the rearward is a kind of a Kotex that is Orthodox is wrong if the pyrite is not Orthodox. sent3: there is nothing such that it is augitic and it is a kind of a Latin. sent4: if the rearward is Orthodox then that it is a reception is right. sent5: the pyrite is not Orthodox if the fact that the fact that the cryometer is augitic and is a Latin is not true is not incorrect. sent6: the pitsaw is not a baron if that the mistral is a Soufflot and it is a restrainer is false. sent7: if that the mistral photostats Shoshone but it does not photostat Trotsky is not true it does not augment. sent8: if the pyrite is not Orthodox then that the rearward is a Kotex but it is not Orthodox is not right. sent9: if something is a reception the fact that it photostats pitsaw and is not Orthodox does not hold. sent10: if the fact that something is a kind of a Kotex but it is not Orthodox does not hold then it is a kind of a reception.
sent3 -> int1: the fact that the cryometer is augitic and is Latin does not hold.; int1 & sent5 -> int2: the pyrite is not Orthodox.; int2 & sent8 -> int3: the fact that the rearward is a Kotex and not Orthodox is not true.; sent10 -> int4: the rearward is a kind of a reception if the fact that it is a Kotex and it is not Orthodox is not right.; int3 & int4 -> hypothesis;
the rearward is not a reception.
sent1 -> int5: that if the fact that the mistral does not augment is not incorrect the fact that the mistral is both a Soufflot and a restrainer does not hold is not incorrect.;
$hypothesis$ = the rearward is not a reception. ; $context$ = sent1: the fact that something is a Soufflot and a restrainer is not correct if it does not augment. sent2: the fact that the rearward is a kind of a Kotex that is Orthodox is wrong if the pyrite is not Orthodox. sent3: there is nothing such that it is augitic and it is a kind of a Latin. sent4: if the rearward is Orthodox then that it is a reception is right. sent5: the pyrite is not Orthodox if the fact that the fact that the cryometer is augitic and is a Latin is not true is not incorrect. sent6: the pitsaw is not a baron if that the mistral is a Soufflot and it is a restrainer is false. sent7: if that the mistral photostats Shoshone but it does not photostat Trotsky is not true it does not augment. sent8: if the pyrite is not Orthodox then that the rearward is a Kotex but it is not Orthodox is not right. sent9: if something is a reception the fact that it photostats pitsaw and is not Orthodox does not hold. sent10: if the fact that something is a kind of a Kotex but it is not Orthodox does not hold then it is a kind of a reception. ; $proof$ = 
sent3 -> int1: the fact that the cryometer is augitic and is Latin does not hold.; int1 & sent5 -> int2: the pyrite is not Orthodox.; int2 & sent8 -> int3: the fact that the rearward is a Kotex and not Orthodox is not true.; sent10 -> int4: the rearward is a kind of a reception if the fact that it is a Kotex and it is not Orthodox is not right.; int3 & int4 -> hypothesis; __DISPROVED__