the cefoperazone is not a beetle.
sent1: the cefoperazone beetles if it is idiographic. sent2: the pinscher is heliacal. sent3: if the cefoperazone is not idiographic then the groundwork does not imagine and it is not a kind of a Cherbourg. sent4: the vellum is not near if the fact that it does not adduct kiloliter and it is not a Cherbourg does not hold. sent5: the pinscher is near if it is heliacal. sent6: that the vellum does not adduct kiloliter and it is not a Cherbourg is wrong if the groundwork is not a Cherbourg. sent7: the vellum is a Cherbourg if the cefoperazone is a Cherbourg. sent8: if that the pinscher is not near is not true then the vellum is near.
void -> assump1: Let's assume that the cefoperazone is not idiographic.; sent3 & assump1 -> int1: the groundwork does not imagine and is not a Cherbourg.; int1 -> int2: the groundwork is not a kind of a Cherbourg.; int2 & sent6 -> int3: that the vellum does not adduct kiloliter and is not a Cherbourg is not right.; int3 & sent4 -> int4: the vellum is not near.; sent5 & sent2 -> int5: that the pinscher is near hold.; sent8 & int5 -> int6: the vellum is near.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the cefoperazone is idiographic.; int8 & sent1 -> hypothesis;
$hypothesis$ = the cefoperazone is not a beetle. ; $context$ = sent1: the cefoperazone beetles if it is idiographic. sent2: the pinscher is heliacal. sent3: if the cefoperazone is not idiographic then the groundwork does not imagine and it is not a kind of a Cherbourg. sent4: the vellum is not near if the fact that it does not adduct kiloliter and it is not a Cherbourg does not hold. sent5: the pinscher is near if it is heliacal. sent6: that the vellum does not adduct kiloliter and it is not a Cherbourg is wrong if the groundwork is not a Cherbourg. sent7: the vellum is a Cherbourg if the cefoperazone is a Cherbourg. sent8: if that the pinscher is not near is not true then the vellum is near. ; $proof$ = 
void -> assump1: Let's assume that the cefoperazone is not idiographic.; sent3 & assump1 -> int1: the groundwork does not imagine and is not a Cherbourg.; int1 -> int2: the groundwork is not a kind of a Cherbourg.; int2 & sent6 -> int3: that the vellum does not adduct kiloliter and is not a Cherbourg is not right.; int3 & sent4 -> int4: the vellum is not near.; sent5 & sent2 -> int5: that the pinscher is near hold.; sent8 & int5 -> int6: the vellum is near.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the cefoperazone is idiographic.; int8 & sent1 -> hypothesis; __DISPROVED__