if the itinerary is a kind of a cage then the kinin is rickettsial.
sent1: the fact that the fact that the itinerary does not evanesce and does cage is incorrect if something does evanesce hold. sent2: if something that is a Aborigine does cage then the tapper does not evanesce. sent3: the itinerary is metabolic and is a Aborigine. sent4: there are rickettsial and non-metabolic things. sent5: the fact that the kinin is a Steinway if the itinerary is a Steinway is true. sent6: something is a Steinway and is metabolic if it is not a kind of a Aborigine. sent7: the tapper is susceptible or it is not a truss or both. sent8: if there exists something such that it escapes then the tapper does escapes. sent9: if the tapper is not rickettsial then it is a kind of an escape and it evanesces. sent10: the tapper is not rickettsial if it is susceptible. sent11: if there exists something such that the fact that it is a Steinway and is not an escape is not right then the tapper escape. sent12: there exists something such that that it is both a Steinway and not an escape does not hold.
sent3 -> int1: the itinerary is a Aborigine.; void -> assump1: Let's assume that the itinerary does cage.; int1 & assump1 -> int2: the itinerary is a Aborigine that does cage.; int2 -> int3: there exists something such that it is a kind of a Aborigine and it is a kind of a cage.; int3 & sent2 -> int4: the tapper does not evanesce.; sent12 & sent11 -> int5: the tapper is a kind of an escape.; int4 & int5 -> int6: the tapper is an escape and does not evanesce.;
the kinin is a Steinway.
sent6 -> int7: if the itinerary is not a Aborigine then it is a Steinway and it is metabolic.;
$hypothesis$ = if the itinerary is a kind of a cage then the kinin is rickettsial. ; $context$ = sent1: the fact that the fact that the itinerary does not evanesce and does cage is incorrect if something does evanesce hold. sent2: if something that is a Aborigine does cage then the tapper does not evanesce. sent3: the itinerary is metabolic and is a Aborigine. sent4: there are rickettsial and non-metabolic things. sent5: the fact that the kinin is a Steinway if the itinerary is a Steinway is true. sent6: something is a Steinway and is metabolic if it is not a kind of a Aborigine. sent7: the tapper is susceptible or it is not a truss or both. sent8: if there exists something such that it escapes then the tapper does escapes. sent9: if the tapper is not rickettsial then it is a kind of an escape and it evanesces. sent10: the tapper is not rickettsial if it is susceptible. sent11: if there exists something such that the fact that it is a Steinway and is not an escape is not right then the tapper escape. sent12: there exists something such that that it is both a Steinway and not an escape does not hold. ; $proof$ = 
sent3 -> int1: the itinerary is a Aborigine.; void -> assump1: Let's assume that the itinerary does cage.; int1 & assump1 -> int2: the itinerary is a Aborigine that does cage.; int2 -> int3: there exists something such that it is a kind of a Aborigine and it is a kind of a cage.; int3 & sent2 -> int4: the tapper does not evanesce.; sent12 & sent11 -> int5: the tapper is a kind of an escape.; int4 & int5 -> int6: the tapper is an escape and does not evanesce.; __UNKNOWN__