the DC is a wholeheartedness.
sent1: The carnivore disobliges anaerobe. sent2: the anaerobe is a kind of an architect. sent3: the DC is anemophilous. sent4: the DC is anemophilous if the fact that the scrim is not a sneeze is right. sent5: the DC is a kind of anemophilous thing that is a wholeheartedness if the scrim is not a sneeze. sent6: something does disoblige carnivore or it is not an architect or both if it does sneeze. sent7: the scrim is not a sneeze if the anaerobe does disoblige carnivore and it is an architect. sent8: the anaerobe disobliges carnivore. sent9: the anaerobe is not a kind of an architect if the fact that the DC is a kind of a wholeheartedness and it disobliges carnivore is not incorrect.
sent8 & sent2 -> int1: the anaerobe does disoblige carnivore and it is a kind of an architect.; int1 & sent7 -> int2: the scrim does not sneeze.; int2 & sent5 -> int3: the DC is anemophilous and it is a kind of a wholeheartedness.; int3 -> hypothesis;
the DC is not a wholeheartedness.
sent6 -> int4: if that the anaerobe is a kind of a sneeze is true either it disobliges carnivore or it is not an architect or both.;
$hypothesis$ = the DC is a wholeheartedness. ; $context$ = sent1: The carnivore disobliges anaerobe. sent2: the anaerobe is a kind of an architect. sent3: the DC is anemophilous. sent4: the DC is anemophilous if the fact that the scrim is not a sneeze is right. sent5: the DC is a kind of anemophilous thing that is a wholeheartedness if the scrim is not a sneeze. sent6: something does disoblige carnivore or it is not an architect or both if it does sneeze. sent7: the scrim is not a sneeze if the anaerobe does disoblige carnivore and it is an architect. sent8: the anaerobe disobliges carnivore. sent9: the anaerobe is not a kind of an architect if the fact that the DC is a kind of a wholeheartedness and it disobliges carnivore is not incorrect. ; $proof$ = 
sent8 & sent2 -> int1: the anaerobe does disoblige carnivore and it is a kind of an architect.; int1 & sent7 -> int2: the scrim does not sneeze.; int2 & sent5 -> int3: the DC is anemophilous and it is a kind of a wholeheartedness.; int3 -> hypothesis; __PROVED__