the fact that the target is alternate thing that is a helmet is not true.
sent1: if there is something such that it is Ibsenian the cape is not conquerable. sent2: the anomaly is a telemetered. sent3: the fact that the target does alternate and is a helmet is wrong if the Bavarian is not a helmet. sent4: if the fact that that something does not unfasten gaiety and does poultice cape is correct is not true then it is not conquerable. sent5: that the Bavarian is Ibsenian is not incorrect. sent6: if the anomaly is not conquerable then that it is not non-cholinergic is not false. sent7: that the anomaly does not unfasten gaiety but it poultices cape is incorrect. sent8: the fact that the fact that the anomaly is Ibsenian hold if the fact that the anomaly is cholinergic is not false is not wrong. sent9: if there exists something such that it is Ibsenian and it is a kind of a telemetered then the Bavarian is not a helmet.
sent4 -> int1: the fact that if the fact that the fact that the anomaly does not unfasten gaiety but it poultices cape does not hold hold the anomaly is not conquerable is correct.; int1 & sent7 -> int2: the anomaly is unconquerable.; int2 & sent6 -> int3: the anomaly is cholinergic.; int3 & sent8 -> int4: the anomaly is Ibsenian.; int4 & sent2 -> int5: the anomaly is Ibsenian and is a telemetered.; int5 -> int6: something is Ibsenian thing that is a telemetered.; int6 & sent9 -> int7: the Bavarian is not a helmet.; int7 & sent3 -> hypothesis;
the cape multiplies knighthood and does unfasten gaiety.
sent5 -> int8: there is something such that it is Ibsenian.; int8 & sent1 -> int9: that the cape is not conquerable hold.;
$hypothesis$ = the fact that the target is alternate thing that is a helmet is not true. ; $context$ = sent1: if there is something such that it is Ibsenian the cape is not conquerable. sent2: the anomaly is a telemetered. sent3: the fact that the target does alternate and is a helmet is wrong if the Bavarian is not a helmet. sent4: if the fact that that something does not unfasten gaiety and does poultice cape is correct is not true then it is not conquerable. sent5: that the Bavarian is Ibsenian is not incorrect. sent6: if the anomaly is not conquerable then that it is not non-cholinergic is not false. sent7: that the anomaly does not unfasten gaiety but it poultices cape is incorrect. sent8: the fact that the fact that the anomaly is Ibsenian hold if the fact that the anomaly is cholinergic is not false is not wrong. sent9: if there exists something such that it is Ibsenian and it is a kind of a telemetered then the Bavarian is not a helmet. ; $proof$ = 
sent4 -> int1: the fact that if the fact that the fact that the anomaly does not unfasten gaiety but it poultices cape does not hold hold the anomaly is not conquerable is correct.; int1 & sent7 -> int2: the anomaly is unconquerable.; int2 & sent6 -> int3: the anomaly is cholinergic.; int3 & sent8 -> int4: the anomaly is Ibsenian.; int4 & sent2 -> int5: the anomaly is Ibsenian and is a telemetered.; int5 -> int6: something is Ibsenian thing that is a telemetered.; int6 & sent9 -> int7: the Bavarian is not a helmet.; int7 & sent3 -> hypothesis; __PROVED__