the flooring is a kind of a Indonesian.
sent1: something is not nonalcoholic and edges readout if that it is not a jockey is correct. sent2: if the blower is not a Indonesian then the manul does jockey and is not a Nazi. sent3: the blower is Nazi if the readout is not nonalcoholic but it does edge readout. sent4: if the fact that the readout is a jockey hold then the flooring does edge event. sent5: the flooring is a kind of a Indonesian if it edges event. sent6: if the readout is a kind of nonalcoholic thing that does edge readout the blower is a Nazi. sent7: the placebo does not edge skibob and is not a niobite. sent8: the antiperspirant does edge event. sent9: if something is a kind of a jockey and is not a kind of a Nazi it does not edge event. sent10: the scull does preen and it does braid if the placebo does not edge skibob. sent11: something that does not edge event or does preen or both is not a kind of a jockey. sent12: the flooring is not a Indonesian if the blower is a Indonesian and a Nazi. sent13: if that something is Indonesian and it does preen is incorrect then it is not a kind of a Indonesian.
sent1 -> int1: if the readout does not jockey it is not nonalcoholic and edges readout.; void -> assump1: Let's assume that the readout is not a kind of a jockey.; int1 & assump1 -> int2: the readout is not nonalcoholic but it does edge readout.; int2 & sent3 -> int3: that the blower is a Nazi is true.;
the manul does not edge event.
sent9 -> int4: if the manul does jockey and is not Nazi it does not edge event.; sent13 -> int5: if the fact that the fact that the fact that the blower is Indonesian and it does preen is correct is not right is correct it is not a Indonesian.;
$hypothesis$ = the flooring is a kind of a Indonesian. ; $context$ = sent1: something is not nonalcoholic and edges readout if that it is not a jockey is correct. sent2: if the blower is not a Indonesian then the manul does jockey and is not a Nazi. sent3: the blower is Nazi if the readout is not nonalcoholic but it does edge readout. sent4: if the fact that the readout is a jockey hold then the flooring does edge event. sent5: the flooring is a kind of a Indonesian if it edges event. sent6: if the readout is a kind of nonalcoholic thing that does edge readout the blower is a Nazi. sent7: the placebo does not edge skibob and is not a niobite. sent8: the antiperspirant does edge event. sent9: if something is a kind of a jockey and is not a kind of a Nazi it does not edge event. sent10: the scull does preen and it does braid if the placebo does not edge skibob. sent11: something that does not edge event or does preen or both is not a kind of a jockey. sent12: the flooring is not a Indonesian if the blower is a Indonesian and a Nazi. sent13: if that something is Indonesian and it does preen is incorrect then it is not a kind of a Indonesian. ; $proof$ = 
sent1 -> int1: if the readout does not jockey it is not nonalcoholic and edges readout.; void -> assump1: Let's assume that the readout is not a kind of a jockey.; int1 & assump1 -> int2: the readout is not nonalcoholic but it does edge readout.; int2 & sent3 -> int3: that the blower is a Nazi is true.; __UNKNOWN__