the fact that that the kicksorter is not asterismal but it is unsurmountable is incorrect if the bulla is not Kafkaesque is false.
sent1: something that does not frisk abbess and is unsurmountable is Kafkaesque. sent2: the bulla is not a gaur but asterismal. sent3: if the bulla does not bind supermodel and/or it is a kind of a gaur then that it does not frisk abbess is true. sent4: the bulla does not bind supermodel and/or it is a gaur. sent5: the fact that the kicksorter is asterismal and it is unsurmountable is not right. sent6: something either is not orchestral or is unsurmountable or both if it does not frisk abbess. sent7: the supermodel does not frisk abbess if that the bulla is not Kafkaesque but it frisk abbess is not true. sent8: if the kicksorter is not unsurmountable the bulla is not asterismal but it frisks abbess. sent9: the fact that the kicksorter does not frisk abbess but it is unsurmountable is wrong if the bulla is not unsurmountable. sent10: the corncrib is not a gaur. sent11: if the bulla is not unsurmountable then that the kicksorter is non-asterismal thing that is unsurmountable is wrong. sent12: the bulla is an obstacle if it is not barographic and it is Kafkaesque.
sent3 & sent4 -> int1: that the bulla does not frisk abbess hold.; void -> assump1: Let's assume that the bulla is unsurmountable.; int1 & assump1 -> int2: the bulla does not frisk abbess but it is unsurmountable.; sent1 -> int3: if the fact that the bulla does not frisk abbess and is unsurmountable hold it is Kafkaesque.; int2 & int3 -> int4: the bulla is Kafkaesque.; void -> assump2: Let's assume that the bulla is not Kafkaesque.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bulla is not unsurmountable.; int6 & sent11 -> int7: the fact that the kicksorter is not asterismal but it is unsurmountable is wrong.; [assump2] & int7 -> hypothesis;
the supermodel is non-orchestral and/or it is unsurmountable.
sent6 -> int8: if the supermodel does not frisk abbess then either it is non-orchestral or it is unsurmountable or both.;
$hypothesis$ = the fact that that the kicksorter is not asterismal but it is unsurmountable is incorrect if the bulla is not Kafkaesque is false. ; $context$ = sent1: something that does not frisk abbess and is unsurmountable is Kafkaesque. sent2: the bulla is not a gaur but asterismal. sent3: if the bulla does not bind supermodel and/or it is a kind of a gaur then that it does not frisk abbess is true. sent4: the bulla does not bind supermodel and/or it is a gaur. sent5: the fact that the kicksorter is asterismal and it is unsurmountable is not right. sent6: something either is not orchestral or is unsurmountable or both if it does not frisk abbess. sent7: the supermodel does not frisk abbess if that the bulla is not Kafkaesque but it frisk abbess is not true. sent8: if the kicksorter is not unsurmountable the bulla is not asterismal but it frisks abbess. sent9: the fact that the kicksorter does not frisk abbess but it is unsurmountable is wrong if the bulla is not unsurmountable. sent10: the corncrib is not a gaur. sent11: if the bulla is not unsurmountable then that the kicksorter is non-asterismal thing that is unsurmountable is wrong. sent12: the bulla is an obstacle if it is not barographic and it is Kafkaesque. ; $proof$ = 
sent3 & sent4 -> int1: that the bulla does not frisk abbess hold.; void -> assump1: Let's assume that the bulla is unsurmountable.; int1 & assump1 -> int2: the bulla does not frisk abbess but it is unsurmountable.; sent1 -> int3: if the fact that the bulla does not frisk abbess and is unsurmountable hold it is Kafkaesque.; int2 & int3 -> int4: the bulla is Kafkaesque.; void -> assump2: Let's assume that the bulla is not Kafkaesque.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bulla is not unsurmountable.; int6 & sent11 -> int7: the fact that the kicksorter is not asterismal but it is unsurmountable is wrong.; [assump2] & int7 -> hypothesis; __DISPROVED__