the bola is aldermanic.
sent1: if the macrame is not xeric then that the arousal is xeric and/or it does not inflate socage does not hold. sent2: if something is unopposable the fact that it is not a harness and/or it is a kind of a disbeliever does not hold. sent3: the macrame is not xeric if the tramcar is not unopposable. sent4: the fact that that the bola is a kind of non-nominalistic thing that is salty is correct does not hold. sent5: if the fact that something does not harness and/or it is a disbeliever is wrong it is not aldermanic. sent6: if something is salty then the tramcar is unopposable and/or it is xeric. sent7: if something is not xeric the fact that it is not aldermanic and does not inflate socage is not correct. sent8: the bola does not overturn bola and inflates socage if it does not play lexicalization. sent9: there is something such that it overturns bola. sent10: the tramcar is not a harness if the bola is unopposable. sent11: if the fact that something is not a kind of a shirtfront and it is not appointive is not true it is an item. sent12: if the bola does not overturn bola then it is unopposable and xeric. sent13: if there is something such that it does overturn bola then either the arousal is xeric or it does not inflate socage or both. sent14: if something is not aldermanic that it is not nominalistic and is not salty is not correct. sent15: the tramcar is not unopposable if either the bola harnesses or it is a disbeliever or both. sent16: the fact that the macrame is xeric and is not nominalistic is incorrect.
sent14 -> int1: if the bola is non-aldermanic the fact that it is a kind of non-nominalistic thing that is not salty does not hold.; void -> assump1: Let's assume that the bola is not aldermanic.; int1 & assump1 -> int2: the fact that the bola is not nominalistic and is not salty is not right.; sent9 & sent13 -> int3: the arousal is xeric and/or it does not inflate socage.;
the fact that the bola is not aldermanic is not wrong.
sent5 -> int4: if that the bola either does not harness or is a disbeliever or both is not true then it is not aldermanic.; sent2 -> int5: if the bola is unopposable then that it is not a harness and/or is a disbeliever is false.;
$hypothesis$ = the bola is aldermanic. ; $context$ = sent1: if the macrame is not xeric then that the arousal is xeric and/or it does not inflate socage does not hold. sent2: if something is unopposable the fact that it is not a harness and/or it is a kind of a disbeliever does not hold. sent3: the macrame is not xeric if the tramcar is not unopposable. sent4: the fact that that the bola is a kind of non-nominalistic thing that is salty is correct does not hold. sent5: if the fact that something does not harness and/or it is a disbeliever is wrong it is not aldermanic. sent6: if something is salty then the tramcar is unopposable and/or it is xeric. sent7: if something is not xeric the fact that it is not aldermanic and does not inflate socage is not correct. sent8: the bola does not overturn bola and inflates socage if it does not play lexicalization. sent9: there is something such that it overturns bola. sent10: the tramcar is not a harness if the bola is unopposable. sent11: if the fact that something is not a kind of a shirtfront and it is not appointive is not true it is an item. sent12: if the bola does not overturn bola then it is unopposable and xeric. sent13: if there is something such that it does overturn bola then either the arousal is xeric or it does not inflate socage or both. sent14: if something is not aldermanic that it is not nominalistic and is not salty is not correct. sent15: the tramcar is not unopposable if either the bola harnesses or it is a disbeliever or both. sent16: the fact that the macrame is xeric and is not nominalistic is incorrect. ; $proof$ = 
sent14 -> int1: if the bola is non-aldermanic the fact that it is a kind of non-nominalistic thing that is not salty does not hold.; void -> assump1: Let's assume that the bola is not aldermanic.; int1 & assump1 -> int2: the fact that the bola is not nominalistic and is not salty is not right.; sent9 & sent13 -> int3: the arousal is xeric and/or it does not inflate socage.; __UNKNOWN__