the Piper is not a moss-trooper and is not burlesque.
sent1: if there is something such that it is an insulin the lampshade is not tasteful. sent2: if something is handless it is not a moss-trooper and it is a Arhus. sent3: the fact that the Piper is both not a moss-trooper and burlesque is incorrect. sent4: if a non-autarchic thing does rob the lampshade is not a kind of a burlesque. sent5: that the Piper is not a kind of a moss-trooper and it is not a kind of a burlesque is not right if the lampshade is burlesque. sent6: the IAA is a kind of an insulin if it is distant. sent7: the paleocerebellum is handless and it is tasteful. sent8: if the fact that something is handless and it is tasteful does not hold it is not handless. sent9: something is a kind of non-autarchic thing that robs if it is not handed. sent10: the IAA is distant.
sent9 -> int1: if the paleocerebellum is handless then it is not autarchic and it robs.; sent7 -> int2: the paleocerebellum is handless.; int1 & int2 -> int3: that the paleocerebellum is a kind of non-autarchic thing that robs is right.; int3 -> int4: something is not autarchic and robs.; int4 & sent4 -> int5: the lampshade is not a burlesque.; int5 & sent5 -> hypothesis;
the paleocerebellum is not a moss-trooper and is a Arhus.
sent2 -> int6: if the lampshade is handless that it is not a moss-trooper and it is a Arhus is right.;
$hypothesis$ = the Piper is not a moss-trooper and is not burlesque. ; $context$ = sent1: if there is something such that it is an insulin the lampshade is not tasteful. sent2: if something is handless it is not a moss-trooper and it is a Arhus. sent3: the fact that the Piper is both not a moss-trooper and burlesque is incorrect. sent4: if a non-autarchic thing does rob the lampshade is not a kind of a burlesque. sent5: that the Piper is not a kind of a moss-trooper and it is not a kind of a burlesque is not right if the lampshade is burlesque. sent6: the IAA is a kind of an insulin if it is distant. sent7: the paleocerebellum is handless and it is tasteful. sent8: if the fact that something is handless and it is tasteful does not hold it is not handless. sent9: something is a kind of non-autarchic thing that robs if it is not handed. sent10: the IAA is distant. ; $proof$ = 
sent9 -> int1: if the paleocerebellum is handless then it is not autarchic and it robs.; sent7 -> int2: the paleocerebellum is handless.; int1 & int2 -> int3: that the paleocerebellum is a kind of non-autarchic thing that robs is right.; int3 -> int4: something is not autarchic and robs.; int4 & sent4 -> int5: the lampshade is not a burlesque.; int5 & sent5 -> hypothesis; __DISPROVED__