the masking is internal.
sent1: the masking is nonmechanical and it toboggans. sent2: the masking ensconces. sent3: if that the fraxinella is both not nonmechanical and internal is not correct then the masking is not internal. sent4: the masking is a househusband. sent5: the masking does sock and it is abiogenetic. sent6: if the fact that the exudation is infrequent and is not Jain is not true then the relaxin is not Jain. sent7: the fact that that that the fraxinella is not nonmechanical and is internal is right is false is not incorrect if the levator is a kind of a toboggan. sent8: the masking is stemless if it is infrequent. sent9: the masking is nonmechanical. sent10: the masking is both rhombic and spatiotemporal. sent11: a toboggan is internal. sent12: that the levator is not a tablet or a stingray or both is not true if that the relaxin is non-Jain is true. sent13: the cipher is a toboggan. sent14: something is a toboggan if the fact that it either is not a kind of a tablet or is a stingray or both is not true.
sent1 -> int1: the masking is a kind of a toboggan.; sent11 -> int2: the masking is internal if it toboggans.; int1 & int2 -> hypothesis;
the masking is not internal.
sent14 -> int3: if that either the levator is not a tablet or it is a stingray or both is wrong it is a kind of a toboggan.;
$hypothesis$ = the masking is internal. ; $context$ = sent1: the masking is nonmechanical and it toboggans. sent2: the masking ensconces. sent3: if that the fraxinella is both not nonmechanical and internal is not correct then the masking is not internal. sent4: the masking is a househusband. sent5: the masking does sock and it is abiogenetic. sent6: if the fact that the exudation is infrequent and is not Jain is not true then the relaxin is not Jain. sent7: the fact that that that the fraxinella is not nonmechanical and is internal is right is false is not incorrect if the levator is a kind of a toboggan. sent8: the masking is stemless if it is infrequent. sent9: the masking is nonmechanical. sent10: the masking is both rhombic and spatiotemporal. sent11: a toboggan is internal. sent12: that the levator is not a tablet or a stingray or both is not true if that the relaxin is non-Jain is true. sent13: the cipher is a toboggan. sent14: something is a toboggan if the fact that it either is not a kind of a tablet or is a stingray or both is not true. ; $proof$ = 
sent1 -> int1: the masking is a kind of a toboggan.; sent11 -> int2: the masking is internal if it toboggans.; int1 & int2 -> hypothesis; __PROVED__