that the dumbbell is not a kind of a lapidary and it is not strategics is not correct.
sent1: the housefather is a oropharynx if the cytophotometer does notch Champollion. sent2: something that is non-gymnastic thing that does dice is not a kind of a utensil. sent3: if that the dumbbell does not dice and it is not a lapidary does not hold then the housefather is not a utensil. sent4: that something is a kind of an outdoorsman is not incorrect. sent5: if the fact that the dumbbell is not lapidary and it is not strategics is not correct then the housefather does not dice. sent6: if the fact that something is effective but it does clue admass does not hold then it is not a whisk. sent7: that the dumbbell is a kind of non-ineffective thing that clues admass is wrong if the housefather is a oropharynx. sent8: that something is not lapidary and it is not strategics does not hold if it is not a utensil. sent9: something that does not whisk is not gymnastic and dices. sent10: the housefather dices and is a utensil.
void -> assump1: Let's assume that the fact that the dumbbell is both non-lapidary and not strategics is not correct.; sent5 & assump1 -> int1: the housefather does not dice.; sent10 -> int2: the housefather dices.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the dumbbell is non-lapidary and is not strategics does not hold.
sent8 -> int4: the fact that the dumbbell is not lapidary and is not strategics is incorrect if it is not a kind of a utensil.; sent2 -> int5: if the dumbbell is not gymnastic but it does dice the fact that it is not a kind of a utensil is not incorrect.; sent9 -> int6: if the dumbbell is not a whisk then it is not gymnastic and dices.; sent6 -> int7: if that the fact that the dumbbell is a kind of non-ineffective thing that does clue admass is true is not right it is not a kind of a whisk.;
$hypothesis$ = that the dumbbell is not a kind of a lapidary and it is not strategics is not correct. ; $context$ = sent1: the housefather is a oropharynx if the cytophotometer does notch Champollion. sent2: something that is non-gymnastic thing that does dice is not a kind of a utensil. sent3: if that the dumbbell does not dice and it is not a lapidary does not hold then the housefather is not a utensil. sent4: that something is a kind of an outdoorsman is not incorrect. sent5: if the fact that the dumbbell is not lapidary and it is not strategics is not correct then the housefather does not dice. sent6: if the fact that something is effective but it does clue admass does not hold then it is not a whisk. sent7: that the dumbbell is a kind of non-ineffective thing that clues admass is wrong if the housefather is a oropharynx. sent8: that something is not lapidary and it is not strategics does not hold if it is not a utensil. sent9: something that does not whisk is not gymnastic and dices. sent10: the housefather dices and is a utensil. ; $proof$ = 
void -> assump1: Let's assume that the fact that the dumbbell is both non-lapidary and not strategics is not correct.; sent5 & assump1 -> int1: the housefather does not dice.; sent10 -> int2: the housefather dices.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__