the leucine is not a kind of a jadeite.
sent1: something is both a threonine and a Strymon if it is not a tranylcypromine. sent2: the plasterboard is an airlock if the longitude headquarters dye. sent3: the Riff headquarters dye. sent4: the blindworm is not printable if that the Riff is not a threonine is not wrong. sent5: if something is not printable it is not a Strymon or it is not a tranylcypromine or both. sent6: if the Riff is not incompressible and it is not Gaussian then it is not a threonine. sent7: the longitude does headquarter dye if the blindworm is not a tranylcypromine. sent8: if the blindworm is not a Strymon then the fact that the longitude does not headquarter dye is wrong. sent9: the Riff is printable. sent10: the Riff is a kind of non-incompressible thing that is not Gaussian. sent11: if something is an airlock it is a judiciary. sent12: if the plasterboard is a kind of a judiciary then the leucine is a jadeite.
sent6 & sent10 -> int1: the Riff is not a threonine.; int1 & sent4 -> int2: the blindworm is not printable.; sent5 -> int3: if the blindworm is not printable then either it is not a Strymon or it is not a kind of a tranylcypromine or both.; int2 & int3 -> int4: the blindworm is not a Strymon and/or it is not a tranylcypromine.; int4 & sent8 & sent7 -> int5: the longitude headquarters dye.; int5 & sent2 -> int6: the fact that the plasterboard is an airlock is true.; sent11 -> int7: if the plasterboard is an airlock the fact that it is a kind of a judiciary is not false.; int6 & int7 -> int8: the plasterboard is a judiciary.; int8 & sent12 -> hypothesis;
the leucine is not a kind of a jadeite.
sent1 -> int9: the Riff is a threonine and it is a Strymon if it is not a tranylcypromine.;
$hypothesis$ = the leucine is not a kind of a jadeite. ; $context$ = sent1: something is both a threonine and a Strymon if it is not a tranylcypromine. sent2: the plasterboard is an airlock if the longitude headquarters dye. sent3: the Riff headquarters dye. sent4: the blindworm is not printable if that the Riff is not a threonine is not wrong. sent5: if something is not printable it is not a Strymon or it is not a tranylcypromine or both. sent6: if the Riff is not incompressible and it is not Gaussian then it is not a threonine. sent7: the longitude does headquarter dye if the blindworm is not a tranylcypromine. sent8: if the blindworm is not a Strymon then the fact that the longitude does not headquarter dye is wrong. sent9: the Riff is printable. sent10: the Riff is a kind of non-incompressible thing that is not Gaussian. sent11: if something is an airlock it is a judiciary. sent12: if the plasterboard is a kind of a judiciary then the leucine is a jadeite. ; $proof$ = 
sent6 & sent10 -> int1: the Riff is not a threonine.; int1 & sent4 -> int2: the blindworm is not printable.; sent5 -> int3: if the blindworm is not printable then either it is not a Strymon or it is not a kind of a tranylcypromine or both.; int2 & int3 -> int4: the blindworm is not a Strymon and/or it is not a tranylcypromine.; int4 & sent8 & sent7 -> int5: the longitude headquarters dye.; int5 & sent2 -> int6: the fact that the plasterboard is an airlock is true.; sent11 -> int7: if the plasterboard is an airlock the fact that it is a kind of a judiciary is not false.; int6 & int7 -> int8: the plasterboard is a judiciary.; int8 & sent12 -> hypothesis; __DISPROVED__