that the orbitale does offer cathartid and it explains does not hold.
sent1: if that the fore-topsail is not cryptanalytic is not wrong then that the orbitale does offer cathartid and it does explain is wrong. sent2: if there is something such that it is a kind of a butterscotch then the fore-topsail is a butterscotch and/or it does explain. sent3: if the redhorse does offer cathartid then it is a kind of a butterscotch. sent4: the clostridium is Modern thing that is Ceylonese if there exists something such that the fact that it is a remark is right. sent5: if there is something such that it either offers cathartid or is a Chandler or both the orbitale does offers cathartid. sent6: the orbitale does not guarantee. sent7: the orbitale is not a butterscotch. sent8: the joint is not a bang and is cryptanalytic if that it strains seagrass is not false. sent9: the joint strains seagrass. sent10: the redhorse is a kind of a butterscotch. sent11: the orbitale does explain if the fore-topsail is a butterscotch. sent12: if something is Modern then it is a butterscotch. sent13: if the redhorse is a butterscotch it is a kind of a Chandler. sent14: there exists something such that it is a remark. sent15: if something does not explain then it is not a kind of a Chandler and it is cryptanalytic.
void -> assump1: Let's assume that the fore-topsail is cryptanalytic.; sent13 & sent10 -> int1: the redhorse is a Chandler.;
the orbitale is not a Chandler.
sent15 -> int2: if the orbitale does not explain the fact that it is both not a Chandler and cryptanalytic is not incorrect.;
$hypothesis$ = that the orbitale does offer cathartid and it explains does not hold. ; $context$ = sent1: if that the fore-topsail is not cryptanalytic is not wrong then that the orbitale does offer cathartid and it does explain is wrong. sent2: if there is something such that it is a kind of a butterscotch then the fore-topsail is a butterscotch and/or it does explain. sent3: if the redhorse does offer cathartid then it is a kind of a butterscotch. sent4: the clostridium is Modern thing that is Ceylonese if there exists something such that the fact that it is a remark is right. sent5: if there is something such that it either offers cathartid or is a Chandler or both the orbitale does offers cathartid. sent6: the orbitale does not guarantee. sent7: the orbitale is not a butterscotch. sent8: the joint is not a bang and is cryptanalytic if that it strains seagrass is not false. sent9: the joint strains seagrass. sent10: the redhorse is a kind of a butterscotch. sent11: the orbitale does explain if the fore-topsail is a butterscotch. sent12: if something is Modern then it is a butterscotch. sent13: if the redhorse is a butterscotch it is a kind of a Chandler. sent14: there exists something such that it is a remark. sent15: if something does not explain then it is not a kind of a Chandler and it is cryptanalytic. ; $proof$ = 
void -> assump1: Let's assume that the fore-topsail is cryptanalytic.; sent13 & sent10 -> int1: the redhorse is a Chandler.; __UNKNOWN__