the headquartering shopper occurs.
sent1: if the headquartering salience occurs that the metrologicalness happens is true. sent2: if the hair-raiser occurs but the rubriccing does not occur the Abkhazness does not occur. sent3: if the deficientness does not occur then the fact that that the headquartering Gladstone but not the headquartering genip happens is not true hold. sent4: that the headquartering genip happens is prevented by that the headquartering Gladstone occurs and the deficientness occurs. sent5: the hair-raiser occurs and the rubric does not occur. sent6: the deficientness occurs and the odorousness occurs. sent7: if the Abkhaz does not occur that both the headquartering genip and the ballisticness occurs is not false. sent8: the headquartering shopper is caused by the metrologicalness. sent9: that the headquartering mater occurs prevents that the headquartering Gladstone does not occur.
void -> assump1: Let's assume that the headquartering mater occurs.; sent9 & assump1 -> int1: the fact that the headquartering Gladstone occurs is true.; sent6 -> int2: the deficientness happens.; int1 & int2 -> int3: both the headquartering Gladstone and the deficientness occurs.; int3 & sent4 -> int4: the fact that the headquartering genip does not occur is true.; sent2 & sent5 -> int5: the Abkhazness does not occur.; sent7 & int5 -> int6: the headquartering genip and the ballisticness occurs.; int6 -> int7: the headquartering genip happens.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the headquartering mater does not occur.;
the undress happens.
$hypothesis$ = the headquartering shopper occurs. ; $context$ = sent1: if the headquartering salience occurs that the metrologicalness happens is true. sent2: if the hair-raiser occurs but the rubriccing does not occur the Abkhazness does not occur. sent3: if the deficientness does not occur then the fact that that the headquartering Gladstone but not the headquartering genip happens is not true hold. sent4: that the headquartering genip happens is prevented by that the headquartering Gladstone occurs and the deficientness occurs. sent5: the hair-raiser occurs and the rubric does not occur. sent6: the deficientness occurs and the odorousness occurs. sent7: if the Abkhaz does not occur that both the headquartering genip and the ballisticness occurs is not false. sent8: the headquartering shopper is caused by the metrologicalness. sent9: that the headquartering mater occurs prevents that the headquartering Gladstone does not occur. ; $proof$ = 
void -> assump1: Let's assume that the headquartering mater occurs.; sent9 & assump1 -> int1: the fact that the headquartering Gladstone occurs is true.; sent6 -> int2: the deficientness happens.; int1 & int2 -> int3: both the headquartering Gladstone and the deficientness occurs.; int3 & sent4 -> int4: the fact that the headquartering genip does not occur is true.; sent2 & sent5 -> int5: the Abkhazness does not occur.; sent7 & int5 -> int6: the headquartering genip and the ballisticness occurs.; int6 -> int7: the headquartering genip happens.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the headquartering mater does not occur.; __UNKNOWN__