if the breadbasket measures gradual then the ice-wagon is not a SSS.
sent1: the breadbasket measures gradual and is not a SSS. sent2: if something does deposit navy the fact that it is a SSS is true.
void -> assump2: Let's assume that the breadbasket deposits navy but it does not measure gradual.; assump2 -> int1: the breadbasket does not measure gradual.; void -> assump1: Let's assume that the breadbasket measures gradual.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the breadbasket does deposit navy and does not measure gradual is wrong.; int3 -> int4: there is something such that the fact that it does deposit navy and does not measure gradual is false.;
the fact that the breadbasket is nondisposable and is not a kind of a SSS is not right.
sent2 -> int5: if that the ice-wagon deposits navy is not incorrect then it is a kind of a SSS.;
$hypothesis$ = if the breadbasket measures gradual then the ice-wagon is not a SSS. ; $context$ = sent1: the breadbasket measures gradual and is not a SSS. sent2: if something does deposit navy the fact that it is a SSS is true. ; $proof$ = 
void -> assump2: Let's assume that the breadbasket deposits navy but it does not measure gradual.; assump2 -> int1: the breadbasket does not measure gradual.; void -> assump1: Let's assume that the breadbasket measures gradual.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the breadbasket does deposit navy and does not measure gradual is wrong.; int3 -> int4: there is something such that the fact that it does deposit navy and does not measure gradual is false.; __UNKNOWN__