the duplex does not decolonize proctor.
sent1: that the duplex does decolonize proctor is right if it steals pickerel. sent2: something does steal pickerel if it is a sheller. sent3: the pickerel is a dustpan. sent4: the copyholder scrams variable if it is a paraplegia. sent5: the fact that the duplex does not scram variable but it is a kind of a divertimento does not hold. sent6: the fact that something is a sheller is correct if that it does not scram variable and it is not a kind of a divertimento is false. sent7: the Nahuatl is choragic. sent8: the copyholder is a paraplegia if the Nahuatl does scram punster. sent9: that the duplex does not scram variable and is not a divertimento is not true if the fact that the copyholder does scram variable is not incorrect. sent10: the pickerel is choragic and is a dustpan. sent11: that the duplex scrams variable and is not a divertimento does not hold if the copyholder scrams variable. sent12: the Nahuatl scrams punster if the pickerel is choragic.
sent10 -> int1: the pickerel is choragic.; int1 & sent12 -> int2: the Nahuatl scrams punster.; int2 & sent8 -> int3: the copyholder is a kind of a paraplegia.; int3 & sent4 -> int4: the copyholder does scram variable.; int4 & sent9 -> int5: the fact that the duplex does not scram variable and it is not a divertimento is not right.; sent6 -> int6: the duplex is a sheller if the fact that it does not scram variable and it is not a divertimento does not hold.; int5 & int6 -> int7: the duplex is a sheller.; sent2 -> int8: if that the duplex is a kind of a sheller is not wrong it steals pickerel.; int7 & int8 -> int9: the duplex steals pickerel.; int9 & sent1 -> hypothesis;
the smoothbore does steal pickerel and is a kind of a musical.
sent7 -> int10: something is not non-choragic.;
$hypothesis$ = the duplex does not decolonize proctor. ; $context$ = sent1: that the duplex does decolonize proctor is right if it steals pickerel. sent2: something does steal pickerel if it is a sheller. sent3: the pickerel is a dustpan. sent4: the copyholder scrams variable if it is a paraplegia. sent5: the fact that the duplex does not scram variable but it is a kind of a divertimento does not hold. sent6: the fact that something is a sheller is correct if that it does not scram variable and it is not a kind of a divertimento is false. sent7: the Nahuatl is choragic. sent8: the copyholder is a paraplegia if the Nahuatl does scram punster. sent9: that the duplex does not scram variable and is not a divertimento is not true if the fact that the copyholder does scram variable is not incorrect. sent10: the pickerel is choragic and is a dustpan. sent11: that the duplex scrams variable and is not a divertimento does not hold if the copyholder scrams variable. sent12: the Nahuatl scrams punster if the pickerel is choragic. ; $proof$ = 
sent10 -> int1: the pickerel is choragic.; int1 & sent12 -> int2: the Nahuatl scrams punster.; int2 & sent8 -> int3: the copyholder is a kind of a paraplegia.; int3 & sent4 -> int4: the copyholder does scram variable.; int4 & sent9 -> int5: the fact that the duplex does not scram variable and it is not a divertimento is not right.; sent6 -> int6: the duplex is a sheller if the fact that it does not scram variable and it is not a divertimento does not hold.; int5 & int6 -> int7: the duplex is a sheller.; sent2 -> int8: if that the duplex is a kind of a sheller is not wrong it steals pickerel.; int7 & int8 -> int9: the duplex steals pickerel.; int9 & sent1 -> hypothesis; __DISPROVED__