that the BB is a cricket and it sobers hold.
sent1: if there is something such that it is a tribadism then the splitworm is an analogue. sent2: the splitworm is not a kind of an analogue. sent3: the lignum is not a Gond if the porthole is malignant thing that is a kind of a tribadism. sent4: the lignum is not analogue. sent5: the splitworm is an analogue if there is something such that the fact that it is malignant and is not a tribadism does not hold. sent6: the fact that the porthole is malignant and it is a tribadism is false. sent7: the BB is a cricket. sent8: the BB sobers if it is not stylish. sent9: there is something such that it is malignant and is not a kind of a tribadism. sent10: if the fact that the lignum is not a Gond is not incorrect the BB is not stylish. sent11: if the porthole is malignant but it is not a tribadism then the lignum is not a Gond. sent12: the porthole is not a tribadism. sent13: there is something such that the fact that it is malignant a tribadism is not correct.
void -> assump1: Let's assume that the fact that the porthole is malignant but it is not a kind of a tribadism is not true.; assump1 -> int1: there is something such that that it is malignant and it is not a tribadism is incorrect.; int1 & sent5 -> int2: the splitworm is analogue.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the porthole is both not non-malignant and not a tribadism hold.; int4 & sent11 -> int5: the lignum is not a kind of a Gond.; int5 & sent10 -> int6: the BB is non-stylish.; int6 & sent8 -> int7: the BB sobers.; int7 & sent7 -> hypothesis;
$hypothesis$ = that the BB is a cricket and it sobers hold. ; $context$ = sent1: if there is something such that it is a tribadism then the splitworm is an analogue. sent2: the splitworm is not a kind of an analogue. sent3: the lignum is not a Gond if the porthole is malignant thing that is a kind of a tribadism. sent4: the lignum is not analogue. sent5: the splitworm is an analogue if there is something such that the fact that it is malignant and is not a tribadism does not hold. sent6: the fact that the porthole is malignant and it is a tribadism is false. sent7: the BB is a cricket. sent8: the BB sobers if it is not stylish. sent9: there is something such that it is malignant and is not a kind of a tribadism. sent10: if the fact that the lignum is not a Gond is not incorrect the BB is not stylish. sent11: if the porthole is malignant but it is not a tribadism then the lignum is not a Gond. sent12: the porthole is not a tribadism. sent13: there is something such that the fact that it is malignant a tribadism is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the porthole is malignant but it is not a kind of a tribadism is not true.; assump1 -> int1: there is something such that that it is malignant and it is not a tribadism is incorrect.; int1 & sent5 -> int2: the splitworm is analogue.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the porthole is both not non-malignant and not a tribadism hold.; int4 & sent11 -> int5: the lignum is not a kind of a Gond.; int5 & sent10 -> int6: the BB is non-stylish.; int6 & sent8 -> int7: the BB sobers.; int7 & sent7 -> hypothesis; __PROVED__