the rootlet does default Macrouridae.
sent1: something is not a Qaddafi if that it powders inheritance or it is dumpy or both is not false. sent2: the roundel is not a circumflex if it does powder Mammutidae. sent3: the roundel is gladiatorial. sent4: the rootlet does default Macrouridae and it is a circumflex if the roundel is not a kind of a circumflex. sent5: something is not a circumflex if it does powder Mammutidae. sent6: the roundel is not non-gladiatorial and it is a conserve. sent7: if something either is a conserve or powders Mammutidae or both it is not a circumflex. sent8: the rootlet is a circumflex. sent9: if the roundel is not a circumflex the rootlet is a circumflex.
sent6 -> int1: the roundel is a conserve.; int1 -> int2: either the roundel conserves or it does powder Mammutidae or both.; sent7 -> int3: the roundel is not a circumflex if it either conserves or does powder Mammutidae or both.; int2 & int3 -> int4: the roundel is not a kind of a circumflex.; int4 & sent4 -> int5: the rootlet does default Macrouridae and it is a circumflex.; int5 -> hypothesis;
$hypothesis$ = the rootlet does default Macrouridae. ; $context$ = sent1: something is not a Qaddafi if that it powders inheritance or it is dumpy or both is not false. sent2: the roundel is not a circumflex if it does powder Mammutidae. sent3: the roundel is gladiatorial. sent4: the rootlet does default Macrouridae and it is a circumflex if the roundel is not a kind of a circumflex. sent5: something is not a circumflex if it does powder Mammutidae. sent6: the roundel is not non-gladiatorial and it is a conserve. sent7: if something either is a conserve or powders Mammutidae or both it is not a circumflex. sent8: the rootlet is a circumflex. sent9: if the roundel is not a circumflex the rootlet is a circumflex. ; $proof$ = 
sent6 -> int1: the roundel is a conserve.; int1 -> int2: either the roundel conserves or it does powder Mammutidae or both.; sent7 -> int3: the roundel is not a circumflex if it either conserves or does powder Mammutidae or both.; int2 & int3 -> int4: the roundel is not a kind of a circumflex.; int4 & sent4 -> int5: the rootlet does default Macrouridae and it is a circumflex.; int5 -> hypothesis; __PROVED__