the hippodrome does squire battering and does scorch Litocranius.
sent1: if something does not dicker the fact that it does squire battering and does scorch Litocranius does not hold. sent2: the hippodrome does squire battering and it scorches Litocranius if the danseur does not squire battering. sent3: if that the strainer is a kind of inefficient thing that does not squire Anomia does not hold then the atoll is not narial. sent4: if that the strainer is narial but it does not squire Anomia is not true it squire Anomia. sent5: if the fact that the strainer does squire SACLANT is not wrong that it is narial and it does not squire Anomia does not hold. sent6: if that the atoll is not narial is not wrong then the half-breed is a jolt that squires SACLANT. sent7: if the danseur dickers the fact that the strainer is a kind of inefficient thing that does not squire Anomia is incorrect. sent8: the danseur dickers if it squires battering. sent9: if there is something such that the fact that it is sensorineural thing that does not scorch codon is not true the half-breed is not a jolt. sent10: there exists something such that the fact that it is a kind of sensorineural thing that does not scorch codon is incorrect.
void -> assump1: Let's assume that the fact that the danseur squires battering is not wrong.; sent8 & assump1 -> int1: the danseur dickers.; int1 & sent7 -> int2: the fact that the strainer is non-efficient thing that does not squire Anomia is false.; int2 & sent3 -> int3: the atoll is not narial.; int3 & sent6 -> int4: the half-breed is a kind of a jolt that does squire SACLANT.; int4 -> int5: the half-breed jolts.; sent10 & sent9 -> int6: the half-breed is not a jolt.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the danseur does not squire battering.; int8 & sent2 -> hypothesis;
that the hippodrome squires battering and it scorches Litocranius does not hold.
sent1 -> int9: the fact that the hippodrome does squire battering and does scorch Litocranius is false if it does not dicker.;
$hypothesis$ = the hippodrome does squire battering and does scorch Litocranius. ; $context$ = sent1: if something does not dicker the fact that it does squire battering and does scorch Litocranius does not hold. sent2: the hippodrome does squire battering and it scorches Litocranius if the danseur does not squire battering. sent3: if that the strainer is a kind of inefficient thing that does not squire Anomia does not hold then the atoll is not narial. sent4: if that the strainer is narial but it does not squire Anomia is not true it squire Anomia. sent5: if the fact that the strainer does squire SACLANT is not wrong that it is narial and it does not squire Anomia does not hold. sent6: if that the atoll is not narial is not wrong then the half-breed is a jolt that squires SACLANT. sent7: if the danseur dickers the fact that the strainer is a kind of inefficient thing that does not squire Anomia is incorrect. sent8: the danseur dickers if it squires battering. sent9: if there is something such that the fact that it is sensorineural thing that does not scorch codon is not true the half-breed is not a jolt. sent10: there exists something such that the fact that it is a kind of sensorineural thing that does not scorch codon is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the fact that the danseur squires battering is not wrong.; sent8 & assump1 -> int1: the danseur dickers.; int1 & sent7 -> int2: the fact that the strainer is non-efficient thing that does not squire Anomia is false.; int2 & sent3 -> int3: the atoll is not narial.; int3 & sent6 -> int4: the half-breed is a kind of a jolt that does squire SACLANT.; int4 -> int5: the half-breed jolts.; sent10 & sent9 -> int6: the half-breed is not a jolt.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the danseur does not squire battering.; int8 & sent2 -> hypothesis; __PROVED__