the Lens is not scurfy but a squark.
sent1: if something does not beat Tineidae and it does not bowl it is not a kind of a squark. sent2: if the Lens is non-scurfy thing that does not spot isogram then the sextant is not non-scurfy. sent3: the fact that the sextant is non-operculate thing that does not spot isogram is false. sent4: if something is operculate then it is not a kind of a squark. sent5: the fact that the sextant is operculate is not wrong if that it is not operculate and it does not spot isogram is not right. sent6: if that something is an easement and it is scurfy does not hold it is not scurfy. sent7: something does not beat Tineidae and is not a bowl if it is not unsusceptible. sent8: if the Lens is not a squark then that it is an easement that is scurfy is false. sent9: the Lens is not scurfy but a squark if the sextant is not a squark. sent10: the Lens does not spot isogram if the frontier is operculate and does spot isogram. sent11: the frontier is a kind of operculate thing that does spot isogram. sent12: something is not unsusceptible if the fact that it is both not a liquidator and unsusceptible is not correct.
sent4 -> int1: if the fact that the sextant is operculate hold it is not a squark.; sent5 & sent3 -> int2: the sextant is operculate.; int1 & int2 -> int3: the sextant is not a kind of a squark.; int3 & sent9 -> hypothesis;
the sextant is not scurfy.
sent10 & sent11 -> int4: the fact that the Lens does not spot isogram is not false.; sent1 -> int5: the Lens is not a squark if it does not beat Tineidae and is not a bowl.; sent7 -> int6: if the borderland is not unsusceptible then it does not beat Tineidae and is not a kind of a bowl.; sent12 -> int7: if that the borderland is not a liquidator but it is unsusceptible is incorrect it is not unsusceptible.; sent6 -> int8: the Lens is non-scurfy if the fact that it is an easement and it is non-scurfy is false.;
$hypothesis$ = the Lens is not scurfy but a squark. ; $context$ = sent1: if something does not beat Tineidae and it does not bowl it is not a kind of a squark. sent2: if the Lens is non-scurfy thing that does not spot isogram then the sextant is not non-scurfy. sent3: the fact that the sextant is non-operculate thing that does not spot isogram is false. sent4: if something is operculate then it is not a kind of a squark. sent5: the fact that the sextant is operculate is not wrong if that it is not operculate and it does not spot isogram is not right. sent6: if that something is an easement and it is scurfy does not hold it is not scurfy. sent7: something does not beat Tineidae and is not a bowl if it is not unsusceptible. sent8: if the Lens is not a squark then that it is an easement that is scurfy is false. sent9: the Lens is not scurfy but a squark if the sextant is not a squark. sent10: the Lens does not spot isogram if the frontier is operculate and does spot isogram. sent11: the frontier is a kind of operculate thing that does spot isogram. sent12: something is not unsusceptible if the fact that it is both not a liquidator and unsusceptible is not correct. ; $proof$ = 
sent4 -> int1: if the fact that the sextant is operculate hold it is not a squark.; sent5 & sent3 -> int2: the sextant is operculate.; int1 & int2 -> int3: the sextant is not a kind of a squark.; int3 & sent9 -> hypothesis; __PROVED__