the customhouse is not tribal.
sent1: the garambulla is not tubeless if the blowtorch is not a Mecca but it is a tubeless. sent2: if something is not intracellular the fact that it scuffs wart and is autoecious is not correct. sent3: the picornavirus is not a downtown but tuneless. sent4: the wood-frog is not intracellular if the fact that the garambulla scuffs wart is right. sent5: the blowtorch is a kind of a tubeless if the picornavirus is not a downtown but it is tuneless. sent6: if something does average Floreal then it does scuff wart and/or is non-autoecious. sent7: if something is tubed it does average Floreal and it is a shopkeeper. sent8: the customhouse does not average Floreal if that it scuffs wart and is autoecious is not right. sent9: everything is not a kind of a dowel and does measure blowtorch. sent10: if something that is not a kind of a dowel does measure blowtorch then it is not intracellular. sent11: something is tribal and it is intracellular if it does not scuff wart. sent12: there exists something such that the fact that it is a shopkeeper is true.
sent9 -> int1: the customhouse is not a dowel and does measure blowtorch.; sent10 -> int2: if the customhouse is not a kind of a dowel but it does measure blowtorch then it is not intracellular.; int1 & int2 -> int3: the customhouse is not intracellular.; sent2 -> int4: the fact that that the customhouse scuffs wart and it is autoecious is not true is not wrong if it is not intracellular.; int3 & int4 -> int5: that the customhouse scuffs wart and it is autoecious is wrong.; int5 & sent8 -> int6: the customhouse does not average Floreal.; void -> assump1: Let's assume that the customhouse is tribal.; int6 & assump1 -> int7: the customhouse does not average Floreal and is tribal.;
the customhouse is tribal.
sent11 -> int8: the customhouse is tribal and is intracellular if that it does not scuff wart is not incorrect.;
$hypothesis$ = the customhouse is not tribal. ; $context$ = sent1: the garambulla is not tubeless if the blowtorch is not a Mecca but it is a tubeless. sent2: if something is not intracellular the fact that it scuffs wart and is autoecious is not correct. sent3: the picornavirus is not a downtown but tuneless. sent4: the wood-frog is not intracellular if the fact that the garambulla scuffs wart is right. sent5: the blowtorch is a kind of a tubeless if the picornavirus is not a downtown but it is tuneless. sent6: if something does average Floreal then it does scuff wart and/or is non-autoecious. sent7: if something is tubed it does average Floreal and it is a shopkeeper. sent8: the customhouse does not average Floreal if that it scuffs wart and is autoecious is not right. sent9: everything is not a kind of a dowel and does measure blowtorch. sent10: if something that is not a kind of a dowel does measure blowtorch then it is not intracellular. sent11: something is tribal and it is intracellular if it does not scuff wart. sent12: there exists something such that the fact that it is a shopkeeper is true. ; $proof$ = 
sent9 -> int1: the customhouse is not a dowel and does measure blowtorch.; sent10 -> int2: if the customhouse is not a kind of a dowel but it does measure blowtorch then it is not intracellular.; int1 & int2 -> int3: the customhouse is not intracellular.; sent2 -> int4: the fact that that the customhouse scuffs wart and it is autoecious is not true is not wrong if it is not intracellular.; int3 & int4 -> int5: that the customhouse scuffs wart and it is autoecious is wrong.; int5 & sent8 -> int6: the customhouse does not average Floreal.; void -> assump1: Let's assume that the customhouse is tribal.; int6 & assump1 -> int7: the customhouse does not average Floreal and is tribal.; __UNKNOWN__