if the fact that the ministrant is not a gobbler hold then the hurricane is not traditional.
sent1: the hilt is not a kind of a Tarbell. sent2: the hilt drones. sent3: the hilt is not a kind of a rent-a-car. sent4: the hilt is not a figment if it is a Tarbell. sent5: the ministrant is a Tarbell. sent6: if the fact that the blade is a figment hold it is a Tarbell. sent7: something is not a kind of a figment if that it is photic and it is not a Tarbell is wrong. sent8: if the hilt is photic but it is not a Tarbell the ministrant is a gobbler. sent9: the hurricane is not traditional if the hilt is not a figment but it drones.
void -> assump2: Let's assume that the hilt is photic but it is not a Tarbell.; sent8 & assump2 -> int1: the ministrant is a gobbler.; void -> assump1: Let's assume that the ministrant is not a gobbler.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the hilt is photic but it is not a Tarbell is wrong.; sent7 -> int4: if that the hilt is photic but not a Tarbell is incorrect then it is not a figment.; int3 & int4 -> int5: that the hilt is not a figment is not incorrect.; int5 & sent2 -> int6: the hilt is not a figment but a drone.; int6 & sent9 -> int7: the hurricane is not traditional.; [assump1] & int7 -> hypothesis;
the fact that the blade is a Tarbell is not false.
$hypothesis$ = if the fact that the ministrant is not a gobbler hold then the hurricane is not traditional. ; $context$ = sent1: the hilt is not a kind of a Tarbell. sent2: the hilt drones. sent3: the hilt is not a kind of a rent-a-car. sent4: the hilt is not a figment if it is a Tarbell. sent5: the ministrant is a Tarbell. sent6: if the fact that the blade is a figment hold it is a Tarbell. sent7: something is not a kind of a figment if that it is photic and it is not a Tarbell is wrong. sent8: if the hilt is photic but it is not a Tarbell the ministrant is a gobbler. sent9: the hurricane is not traditional if the hilt is not a figment but it drones. ; $proof$ = 
void -> assump2: Let's assume that the hilt is photic but it is not a Tarbell.; sent8 & assump2 -> int1: the ministrant is a gobbler.; void -> assump1: Let's assume that the ministrant is not a gobbler.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the hilt is photic but it is not a Tarbell is wrong.; sent7 -> int4: if that the hilt is photic but not a Tarbell is incorrect then it is not a figment.; int3 & int4 -> int5: that the hilt is not a figment is not incorrect.; int5 & sent2 -> int6: the hilt is not a figment but a drone.; int6 & sent9 -> int7: the hurricane is not traditional.; [assump1] & int7 -> hypothesis; __PROVED__