the principality is attributive.
sent1: the wireman does not blemish if the fact that the tub-thumper does not favor or is a blemish or both is not true. sent2: if something is not a kind of a vinaigrette then the fact that it does not weld ending and is a kind of a spindrift is false. sent3: the prescription is not a vinaigrette if the wireman does not blemish. sent4: that either the tub-thumper is not a kind of a favor or it is a blemish or both is not correct. sent5: that the aunt is not a kind of a thermocoagulation if the principality is ulnar but it does not power hold. sent6: the principality is ulnar if it is not attributive. sent7: if that something is a thermocoagulation and does not matriculate does not hold then it is not attributive. sent8: the principality is ulnar. sent9: if something is not attributive it is not non-ulnar and it is not a power. sent10: if something is a kind of a matriculate it is a kind of a thermocoagulation. sent11: if the fact that the aunt does not weld ending is right then it matriculates and it is a spindrift. sent12: the aunt does not weld ending. sent13: if the aunt does not weld ending then it is a spindrift. sent14: something is ulnar if it is not attributive. sent15: the aunt is ulnar. sent16: the aunt is a kind of a spindrift. sent17: The ending does not weld aunt.
sent9 -> int1: if the principality is not attributive it is both ulnar and not a power.; void -> assump1: Let's assume that the fact that the principality is not attributive is not false.; int1 & assump1 -> int2: the principality is ulnar and is not a kind of a power.; int2 & sent5 -> int3: the aunt is not a kind of a thermocoagulation.; sent10 -> int4: the aunt is a kind of a thermocoagulation if it matriculates.; sent11 & sent12 -> int5: the aunt is a matriculate and it is a spindrift.; int5 -> int6: the fact that the aunt matriculates is not false.; int4 & int6 -> int7: the aunt is a kind of a thermocoagulation.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the principality is not attributive.
sent7 -> int9: the principality is non-attributive if that it is a thermocoagulation and it is not a kind of a matriculate is not correct.; sent2 -> int10: the fact that if the prescription is not the vinaigrette that the prescription does not weld ending and is a spindrift does not hold is correct.; sent1 & sent4 -> int11: the wireman does not blemish.; sent3 & int11 -> int12: the prescription is not a vinaigrette.; int10 & int12 -> int13: that the prescription does not weld ending and is a spindrift is incorrect.; int13 -> int14: the fact that there exists something such that the fact that it does not weld ending and it is a spindrift is wrong hold.;
$hypothesis$ = the principality is attributive. ; $context$ = sent1: the wireman does not blemish if the fact that the tub-thumper does not favor or is a blemish or both is not true. sent2: if something is not a kind of a vinaigrette then the fact that it does not weld ending and is a kind of a spindrift is false. sent3: the prescription is not a vinaigrette if the wireman does not blemish. sent4: that either the tub-thumper is not a kind of a favor or it is a blemish or both is not correct. sent5: that the aunt is not a kind of a thermocoagulation if the principality is ulnar but it does not power hold. sent6: the principality is ulnar if it is not attributive. sent7: if that something is a thermocoagulation and does not matriculate does not hold then it is not attributive. sent8: the principality is ulnar. sent9: if something is not attributive it is not non-ulnar and it is not a power. sent10: if something is a kind of a matriculate it is a kind of a thermocoagulation. sent11: if the fact that the aunt does not weld ending is right then it matriculates and it is a spindrift. sent12: the aunt does not weld ending. sent13: if the aunt does not weld ending then it is a spindrift. sent14: something is ulnar if it is not attributive. sent15: the aunt is ulnar. sent16: the aunt is a kind of a spindrift. sent17: The ending does not weld aunt. ; $proof$ = 
sent9 -> int1: if the principality is not attributive it is both ulnar and not a power.; void -> assump1: Let's assume that the fact that the principality is not attributive is not false.; int1 & assump1 -> int2: the principality is ulnar and is not a kind of a power.; int2 & sent5 -> int3: the aunt is not a kind of a thermocoagulation.; sent10 -> int4: the aunt is a kind of a thermocoagulation if it matriculates.; sent11 & sent12 -> int5: the aunt is a matriculate and it is a spindrift.; int5 -> int6: the fact that the aunt matriculates is not false.; int4 & int6 -> int7: the aunt is a kind of a thermocoagulation.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__