the neuropteron is both aecial and not a graphospasm.
sent1: that the hopper is lethargic but it does not slog werewolf does not hold if the neuropteron is a kind of a Jacksonian. sent2: the fact that that the neuropteron is aecial a graphospasm is not false is not right. sent3: there is something such that it is not a tangelo. sent4: the blackboard is expiatory. sent5: that the neuropteron is both aecial and not a graphospasm does not hold if there exists something such that it is not a columbite-tantalite. sent6: the hopper is not a Jacksonian. sent7: something does book backboard if it books Lome. sent8: the fact that the neuropteron is aecial and it is a graphospasm is false if something is not a kind of a columbite-tantalite. sent9: something is a columbite-tantalite. sent10: something is not aecial and it is not a kind of a graphospasm if it books backboard. sent11: that the hopper is not a columbite-tantalite is right if it is not a Jacksonian. sent12: the fact that something books backboard and it is a Jacksonian does not hold if it is not a columbite-tantalite. sent13: the fact that the blackboard books Lome is not incorrect if it is expiatory.
sent11 & sent6 -> int1: the hopper is not a kind of a columbite-tantalite.; int1 -> int2: there exists something such that it is not a columbite-tantalite.; int2 & sent5 -> hypothesis;
the neuropteron is aecial but it is not a kind of a graphospasm.
sent12 -> int3: if the blackboard is not a columbite-tantalite then that it books backboard and is a kind of a Jacksonian is incorrect.;
$hypothesis$ = the neuropteron is both aecial and not a graphospasm. ; $context$ = sent1: that the hopper is lethargic but it does not slog werewolf does not hold if the neuropteron is a kind of a Jacksonian. sent2: the fact that that the neuropteron is aecial a graphospasm is not false is not right. sent3: there is something such that it is not a tangelo. sent4: the blackboard is expiatory. sent5: that the neuropteron is both aecial and not a graphospasm does not hold if there exists something such that it is not a columbite-tantalite. sent6: the hopper is not a Jacksonian. sent7: something does book backboard if it books Lome. sent8: the fact that the neuropteron is aecial and it is a graphospasm is false if something is not a kind of a columbite-tantalite. sent9: something is a columbite-tantalite. sent10: something is not aecial and it is not a kind of a graphospasm if it books backboard. sent11: that the hopper is not a columbite-tantalite is right if it is not a Jacksonian. sent12: the fact that something books backboard and it is a Jacksonian does not hold if it is not a columbite-tantalite. sent13: the fact that the blackboard books Lome is not incorrect if it is expiatory. ; $proof$ = 
sent11 & sent6 -> int1: the hopper is not a kind of a columbite-tantalite.; int1 -> int2: there exists something such that it is not a columbite-tantalite.; int2 & sent5 -> hypothesis; __DISPROVED__