the Lander is illogical.
sent1: the fact that the mire either is not endothelial or is toneless or both is true if the aspirator is not illogical. sent2: the Lander is endothelial. sent3: the fact that the gravure reflectorizes fruiting but it does not drift is not right if it is not a kind of a blowjob. sent4: if something is not convex and not endothelial then that it is illogical is true. sent5: something either does reflectorize fruiting or is not toneless or both. sent6: the Lander is not toneless if it reflectorizes fruiting and it is a drift. sent7: the gravure is not a blowjob. sent8: the stearin is not bacteroidal. sent9: if the mire is not toneless then the fact that it is convex is not incorrect. sent10: if there is something such that it either reflectorizes fruiting or is not toneless or both the fact that the mire is not toneless is true. sent11: if the Lander is a kind of illogical thing that is endothelial then the mire is not convex.
void -> assump1: Let's assume that the Lander is illogical.; assump1 & sent2 -> int1: that the Lander is illogical and it is endothelial is right.; int1 & sent11 -> int2: the mire is non-convex.; sent5 & sent10 -> int3: that the mire is not toneless is right.; sent9 & int3 -> int4: the mire is convex.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the Lander is toneless.
sent3 & sent7 -> int6: the fact that the gravure reflectorizes fruiting and is not a kind of a drift does not hold.; int6 -> int7: there exists something such that the fact that it does reflectorize fruiting and does not drift is incorrect.;
$hypothesis$ = the Lander is illogical. ; $context$ = sent1: the fact that the mire either is not endothelial or is toneless or both is true if the aspirator is not illogical. sent2: the Lander is endothelial. sent3: the fact that the gravure reflectorizes fruiting but it does not drift is not right if it is not a kind of a blowjob. sent4: if something is not convex and not endothelial then that it is illogical is true. sent5: something either does reflectorize fruiting or is not toneless or both. sent6: the Lander is not toneless if it reflectorizes fruiting and it is a drift. sent7: the gravure is not a blowjob. sent8: the stearin is not bacteroidal. sent9: if the mire is not toneless then the fact that it is convex is not incorrect. sent10: if there is something such that it either reflectorizes fruiting or is not toneless or both the fact that the mire is not toneless is true. sent11: if the Lander is a kind of illogical thing that is endothelial then the mire is not convex. ; $proof$ = 
void -> assump1: Let's assume that the Lander is illogical.; assump1 & sent2 -> int1: that the Lander is illogical and it is endothelial is right.; int1 & sent11 -> int2: the mire is non-convex.; sent5 & sent10 -> int3: that the mire is not toneless is right.; sent9 & int3 -> int4: the mire is convex.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__