the semitrailer is colorful.
sent1: if something is aquatics it is colorful and does not sophisticate slap. sent2: the semitrailer is not nonvolatile if it is not a ideography. sent3: if something does sophisticate slap the fact that it is colorful is true. sent4: if that something is a volatile but it does not sophisticate slap is wrong it is colorful. sent5: if the pantsuit is a volatile the fact that the fact that the semitrailer is a volatile but it does not sophisticate slap hold is not correct. sent6: the pantsuit is a volatile that is a ideography.
sent6 -> int1: the pantsuit is volatile.; int1 & sent5 -> int2: the fact that the semitrailer is a kind of a volatile but it does not sophisticate slap is not correct.; sent4 -> int3: the fact that the semitrailer is colorful is right if that it is a kind of a volatile and it does not sophisticate slap is false.; int2 & int3 -> hypothesis;
the reedbird is a volatile.
sent1 -> int4: the semitrailer is colorful thing that does not sophisticate slap if it is aquatics.;
$hypothesis$ = the semitrailer is colorful. ; $context$ = sent1: if something is aquatics it is colorful and does not sophisticate slap. sent2: the semitrailer is not nonvolatile if it is not a ideography. sent3: if something does sophisticate slap the fact that it is colorful is true. sent4: if that something is a volatile but it does not sophisticate slap is wrong it is colorful. sent5: if the pantsuit is a volatile the fact that the fact that the semitrailer is a volatile but it does not sophisticate slap hold is not correct. sent6: the pantsuit is a volatile that is a ideography. ; $proof$ = 
sent6 -> int1: the pantsuit is volatile.; int1 & sent5 -> int2: the fact that the semitrailer is a kind of a volatile but it does not sophisticate slap is not correct.; sent4 -> int3: the fact that the semitrailer is colorful is right if that it is a kind of a volatile and it does not sophisticate slap is false.; int2 & int3 -> hypothesis; __PROVED__