the size is outboard.
sent1: if the cine-camera is not off then that it welds rechauffe and it is not a bump does not hold. sent2: the cine-camera is not off but it is a kind of a felted. sent3: the size does not reimburse squash but it is postbiblical if the fact that it is not outboard is right. sent4: if something that does not reimburse squash is postbiblical the cine-camera is spiritless. sent5: if something is spiritless the fact that it is a kind of a INR hold. sent6: the cine-camera is not a kind of a INR if that it does weld rechauffe and is not a kind of a bump does not hold.
void -> assump1: Let's assume that the size is non-outboard.; sent3 & assump1 -> int1: the size does not reimburse squash but it is postbiblical.; int1 -> int2: something does not reimburse squash and is postbiblical.; int2 & sent4 -> int3: the cine-camera is not spirited.; sent5 -> int4: the cine-camera is a kind of a INR if it is spiritless.; int3 & int4 -> int5: the cine-camera is a kind of a INR.; sent2 -> int6: the cine-camera is not off.; sent1 & int6 -> int7: the fact that the cine-camera does weld rechauffe but it does not bump does not hold.; sent6 & int7 -> int8: the cine-camera is not a INR.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the size is outboard. ; $context$ = sent1: if the cine-camera is not off then that it welds rechauffe and it is not a bump does not hold. sent2: the cine-camera is not off but it is a kind of a felted. sent3: the size does not reimburse squash but it is postbiblical if the fact that it is not outboard is right. sent4: if something that does not reimburse squash is postbiblical the cine-camera is spiritless. sent5: if something is spiritless the fact that it is a kind of a INR hold. sent6: the cine-camera is not a kind of a INR if that it does weld rechauffe and is not a kind of a bump does not hold. ; $proof$ = 
void -> assump1: Let's assume that the size is non-outboard.; sent3 & assump1 -> int1: the size does not reimburse squash but it is postbiblical.; int1 -> int2: something does not reimburse squash and is postbiblical.; int2 & sent4 -> int3: the cine-camera is not spirited.; sent5 -> int4: the cine-camera is a kind of a INR if it is spiritless.; int3 & int4 -> int5: the cine-camera is a kind of a INR.; sent2 -> int6: the cine-camera is not off.; sent1 & int6 -> int7: the fact that the cine-camera does weld rechauffe but it does not bump does not hold.; sent6 & int7 -> int8: the cine-camera is not a INR.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__