that the skin-diver is a justice is true.
sent1: there exists something such that the fact that it is both not a senna and a justice is wrong. sent2: something that is not a kind of a Serratula is a senna and is not a kind of an everyman. sent3: if something is not a justice then it does not permit NGA. sent4: something permits NGA if it is a senna and it is a kind of an everyman. sent5: the XY is not a Serratula if there exists something such that the fact that it is not an exterminator and it is poor is not true. sent6: the fact that the skin-diver is a justice hold if the XY permits NGA. sent7: the XY is a Serratula if the czar is a Serratula. sent8: if a senna is not an everyman it permits NGA. sent9: the fact that the moray is not a kind of an exterminator but it is a poor is wrong. sent10: the czar permits NGA. sent11: that the skin-diver is not an everyman is true.
sent9 -> int1: there is something such that the fact that it is not a kind of an exterminator and it is a kind of a poor is wrong.; int1 & sent5 -> int2: the XY is not a Serratula.; sent2 -> int3: if the XY is not a Serratula then it is a senna that is not a kind of an everyman.; int2 & int3 -> int4: the XY is a kind of a senna but it is not a kind of an everyman.; sent8 -> int5: the XY does permit NGA if it is a senna and it is not a kind of an everyman.; int4 & int5 -> int6: the XY does permit NGA.; int6 & sent6 -> hypothesis;
the skin-diver is not a kind of a justice.
$hypothesis$ = that the skin-diver is a justice is true. ; $context$ = sent1: there exists something such that the fact that it is both not a senna and a justice is wrong. sent2: something that is not a kind of a Serratula is a senna and is not a kind of an everyman. sent3: if something is not a justice then it does not permit NGA. sent4: something permits NGA if it is a senna and it is a kind of an everyman. sent5: the XY is not a Serratula if there exists something such that the fact that it is not an exterminator and it is poor is not true. sent6: the fact that the skin-diver is a justice hold if the XY permits NGA. sent7: the XY is a Serratula if the czar is a Serratula. sent8: if a senna is not an everyman it permits NGA. sent9: the fact that the moray is not a kind of an exterminator but it is a poor is wrong. sent10: the czar permits NGA. sent11: that the skin-diver is not an everyman is true. ; $proof$ = 
sent9 -> int1: there is something such that the fact that it is not a kind of an exterminator and it is a kind of a poor is wrong.; int1 & sent5 -> int2: the XY is not a Serratula.; sent2 -> int3: if the XY is not a Serratula then it is a senna that is not a kind of an everyman.; int2 & int3 -> int4: the XY is a kind of a senna but it is not a kind of an everyman.; sent8 -> int5: the XY does permit NGA if it is a senna and it is not a kind of an everyman.; int4 & int5 -> int6: the XY does permit NGA.; int6 & sent6 -> hypothesis; __PROVED__