the sundial is not a NIJ.
sent1: if the sundial is an escapade then it vulcanizes. sent2: the nonmember is an escapade if it bandies. sent3: the nonmember is a kind of a Hungarian. sent4: if the sundial vulcanizes then the nonmember bandies. sent5: the nonmember is an escapade. sent6: if the nonmember bandies then it is not a kind of a Hungarian and it is an escapade. sent7: the sundial is not a NIJ if the nonmember is not a NIJ and it does not bandy. sent8: that that something is a Hungarian and it is a kind of an escapade is not incorrect does not hold if it does not repot gravel. sent9: if the fact that something is Hungarian and is an escapade is incorrect it does not vulcanize. sent10: if the squama does vulcanize but it does not bandy the nonmember does not bandy. sent11: the fact that if something is not a kind of a NIJ it does vulcanize is correct.
sent11 -> int1: the sundial vulcanizes if it is not a kind of a NIJ.; void -> assump1: Let's assume that the sundial is not a NIJ.; int1 & assump1 -> int2: the sundial does vulcanize.; int2 & sent4 -> int3: the nonmember bandies.; int3 & sent6 -> int4: the nonmember is not a kind of a Hungarian but it is an escapade.; int4 -> int5: that the nonmember is not a Hungarian hold.; int5 & sent3 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the sundial is not a NIJ.
$hypothesis$ = the sundial is not a NIJ. ; $context$ = sent1: if the sundial is an escapade then it vulcanizes. sent2: the nonmember is an escapade if it bandies. sent3: the nonmember is a kind of a Hungarian. sent4: if the sundial vulcanizes then the nonmember bandies. sent5: the nonmember is an escapade. sent6: if the nonmember bandies then it is not a kind of a Hungarian and it is an escapade. sent7: the sundial is not a NIJ if the nonmember is not a NIJ and it does not bandy. sent8: that that something is a Hungarian and it is a kind of an escapade is not incorrect does not hold if it does not repot gravel. sent9: if the fact that something is Hungarian and is an escapade is incorrect it does not vulcanize. sent10: if the squama does vulcanize but it does not bandy the nonmember does not bandy. sent11: the fact that if something is not a kind of a NIJ it does vulcanize is correct. ; $proof$ = 
sent11 -> int1: the sundial vulcanizes if it is not a kind of a NIJ.; void -> assump1: Let's assume that the sundial is not a NIJ.; int1 & assump1 -> int2: the sundial does vulcanize.; int2 & sent4 -> int3: the nonmember bandies.; int3 & sent6 -> int4: the nonmember is not a kind of a Hungarian but it is an escapade.; int4 -> int5: that the nonmember is not a Hungarian hold.; int5 & sent3 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__