that the input is Darwinian thing that does retract is not right.
sent1: everything is not ethnological. sent2: something is an aphrodisiac if that it is not a starfish and it is not aphrodisiac is not right. sent3: the fact that something is not a Larus and is a kind of a Darwinian does not hold if it is aphrodisiac. sent4: something is a purr if that it is a Larus is true. sent5: the licenser is not a starfish and does not retract. sent6: the licenser is an aphrodisiac that writes. sent7: the input is aphrodisiac if there exists something such that it is a Larus. sent8: there exists something such that it is a Larus. sent9: if the licenser is not a kind of a starfish and does not retract the input retract. sent10: the licenser is not a Darwinian if the fact that the Pelham is both not a Larus and a Darwinian is not right. sent11: the licenser is not a starfish. sent12: the fact that something is not a starfish and not an aphrodisiac is wrong if it is not ethnological. sent13: if something is a Larus the input is a kind of a Darwinian and it is an aphrodisiac.
sent8 & sent13 -> int1: the input is a kind of Darwinian thing that is an aphrodisiac.; int1 -> int2: the fact that the input is Darwinian hold.; sent9 & sent5 -> int3: the input does retract.; int2 & int3 -> hypothesis;
the Shaker purrs.
sent4 -> int4: the Shaker is a purr if it is a kind of a Larus.;
$hypothesis$ = that the input is Darwinian thing that does retract is not right. ; $context$ = sent1: everything is not ethnological. sent2: something is an aphrodisiac if that it is not a starfish and it is not aphrodisiac is not right. sent3: the fact that something is not a Larus and is a kind of a Darwinian does not hold if it is aphrodisiac. sent4: something is a purr if that it is a Larus is true. sent5: the licenser is not a starfish and does not retract. sent6: the licenser is an aphrodisiac that writes. sent7: the input is aphrodisiac if there exists something such that it is a Larus. sent8: there exists something such that it is a Larus. sent9: if the licenser is not a kind of a starfish and does not retract the input retract. sent10: the licenser is not a Darwinian if the fact that the Pelham is both not a Larus and a Darwinian is not right. sent11: the licenser is not a starfish. sent12: the fact that something is not a starfish and not an aphrodisiac is wrong if it is not ethnological. sent13: if something is a Larus the input is a kind of a Darwinian and it is an aphrodisiac. ; $proof$ = 
sent8 & sent13 -> int1: the input is a kind of Darwinian thing that is an aphrodisiac.; int1 -> int2: the fact that the input is Darwinian hold.; sent9 & sent5 -> int3: the input does retract.; int2 & int3 -> hypothesis; __DISPROVED__