the lobscouse is not fatal.
sent1: either the split is a kind of a Zaria or it is not whole or both. sent2: that the stocker is not a kind of a col and it is not unrespectable is not true. sent3: if something is not a Hitchcock or it is fatal or both it is fatal. sent4: if the split is a Zaria or it is not a whole or both it is not unsinkable. sent5: the split is a Bavarian and it is a kind of a perfluorocarbon. sent6: if something is not a Hitchcock then that it is not unsinkable and it is Bavarian is not right. sent7: if that something is a kind of non-unpardonable thing that is not a col is false then it is not fatal. sent8: if the lobscouse is not unpardonable and it is not a col the split is not a Hitchcock.
void -> assump1: Let's assume that the lobscouse is not unpardonable and it is not a kind of a col.; sent8 & assump1 -> int1: the split is not a Hitchcock.; sent6 -> int2: if the fact that the split is not a Hitchcock is true the fact that it is not unsinkable and is a Bavarian does not hold.; int1 & int2 -> int3: the fact that the split is non-unsinkable thing that is a Bavarian is not correct.; sent4 & sent1 -> int4: the split is sinkable.; sent5 -> int5: the split is a Bavarian.; int4 & int5 -> int6: the split is not unsinkable but it is a kind of a Bavarian.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the lobscouse is not unpardonable and is not a kind of a col is incorrect.; sent7 -> int9: the lobscouse is not fatal if the fact that it is non-unpardonable thing that is not a kind of a col is incorrect.; int8 & int9 -> hypothesis;
that the lobscouse is not nonfatal hold.
sent3 -> int10: if the lobscouse is not a kind of a Hitchcock and/or it is fatal it is fatal.;
$hypothesis$ = the lobscouse is not fatal. ; $context$ = sent1: either the split is a kind of a Zaria or it is not whole or both. sent2: that the stocker is not a kind of a col and it is not unrespectable is not true. sent3: if something is not a Hitchcock or it is fatal or both it is fatal. sent4: if the split is a Zaria or it is not a whole or both it is not unsinkable. sent5: the split is a Bavarian and it is a kind of a perfluorocarbon. sent6: if something is not a Hitchcock then that it is not unsinkable and it is Bavarian is not right. sent7: if that something is a kind of non-unpardonable thing that is not a col is false then it is not fatal. sent8: if the lobscouse is not unpardonable and it is not a col the split is not a Hitchcock. ; $proof$ = 
void -> assump1: Let's assume that the lobscouse is not unpardonable and it is not a kind of a col.; sent8 & assump1 -> int1: the split is not a Hitchcock.; sent6 -> int2: if the fact that the split is not a Hitchcock is true the fact that it is not unsinkable and is a Bavarian does not hold.; int1 & int2 -> int3: the fact that the split is non-unsinkable thing that is a Bavarian is not correct.; sent4 & sent1 -> int4: the split is sinkable.; sent5 -> int5: the split is a Bavarian.; int4 & int5 -> int6: the split is not unsinkable but it is a kind of a Bavarian.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the lobscouse is not unpardonable and is not a kind of a col is incorrect.; sent7 -> int9: the lobscouse is not fatal if the fact that it is non-unpardonable thing that is not a kind of a col is incorrect.; int8 & int9 -> hypothesis; __PROVED__