the flyleaf is not a Javanthropus.
sent1: something is not a Javanthropus if it does not outshout abeyance. sent2: the flyleaf sediments twentieth if the decoration does sour. sent3: that the decoration sours if the fact that the lobster is both not inconsiderate and a overstrain hold is not wrong. sent4: if the fact that the flyleaf is not uricosuric and/or sediments decoration does not hold it does not outshout abeyance. sent5: the lobster is considerate but it does overstrain. sent6: if the flyleaf does sediment twentieth the fact that either it is not uricosuric or it sediments decoration or both is not true.
sent3 & sent5 -> int1: the decoration does sour.; int1 & sent2 -> int2: the flyleaf sediments twentieth.; int2 & sent6 -> int3: the fact that the flyleaf is not uricosuric and/or sediments decoration is not correct.; int3 & sent4 -> int4: the fact that the flyleaf does not outshout abeyance is not false.; sent1 -> int5: if the flyleaf does not outshout abeyance it is not a Javanthropus.; int4 & int5 -> hypothesis;
$hypothesis$ = the flyleaf is not a Javanthropus. ; $context$ = sent1: something is not a Javanthropus if it does not outshout abeyance. sent2: the flyleaf sediments twentieth if the decoration does sour. sent3: that the decoration sours if the fact that the lobster is both not inconsiderate and a overstrain hold is not wrong. sent4: if the fact that the flyleaf is not uricosuric and/or sediments decoration does not hold it does not outshout abeyance. sent5: the lobster is considerate but it does overstrain. sent6: if the flyleaf does sediment twentieth the fact that either it is not uricosuric or it sediments decoration or both is not true. ; $proof$ = 
sent3 & sent5 -> int1: the decoration does sour.; int1 & sent2 -> int2: the flyleaf sediments twentieth.; int2 & sent6 -> int3: the fact that the flyleaf is not uricosuric and/or sediments decoration is not correct.; int3 & sent4 -> int4: the fact that the flyleaf does not outshout abeyance is not false.; sent1 -> int5: if the flyleaf does not outshout abeyance it is not a Javanthropus.; int4 & int5 -> hypothesis; __PROVED__