there are non-Sotho things.
sent1: something does not mulch if the fact that it is not a Julian and it is not a kind of a teakettle is not right. sent2: if the brome is heliacal then it is not a kind of a Sotho. sent3: something that either does scoff burdened or is heliacal or both is not a Sotho. sent4: if something is not a mulch then it is not a kind of a chafe. sent5: something does not chafe if the fact that it does detonate and does mulch is not correct. sent6: if the cutter is not a kind of a chafe the fact that the brome scoffs burdened is not wrong. sent7: the church is a kind of a Julian.
void -> assump1: Let's assume that the church is not a kind of a Julian and it is not a teakettle.; assump1 -> int1: the church is not a Julian.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the church is not Julian and it is not a teakettle is incorrect.; sent1 -> int4: if that the church is not a Julian and it is not a kind of a teakettle is false then it does not mulch.; int3 & int4 -> int5: the church is not a mulch.; sent5 -> int6: if the fact that the cutter detonates and it is a kind of a mulch is not correct it does not chafe.; sent3 -> int7: the brome is not Sotho if either it scoffs burdened or it is heliacal or both.;
$hypothesis$ = there are non-Sotho things. ; $context$ = sent1: something does not mulch if the fact that it is not a Julian and it is not a kind of a teakettle is not right. sent2: if the brome is heliacal then it is not a kind of a Sotho. sent3: something that either does scoff burdened or is heliacal or both is not a Sotho. sent4: if something is not a mulch then it is not a kind of a chafe. sent5: something does not chafe if the fact that it does detonate and does mulch is not correct. sent6: if the cutter is not a kind of a chafe the fact that the brome scoffs burdened is not wrong. sent7: the church is a kind of a Julian. ; $proof$ = 
void -> assump1: Let's assume that the church is not a kind of a Julian and it is not a teakettle.; assump1 -> int1: the church is not a Julian.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the church is not Julian and it is not a teakettle is incorrect.; sent1 -> int4: if that the church is not a Julian and it is not a kind of a teakettle is false then it does not mulch.; int3 & int4 -> int5: the church is not a mulch.; sent5 -> int6: if the fact that the cutter detonates and it is a kind of a mulch is not correct it does not chafe.; sent3 -> int7: the brome is not Sotho if either it scoffs burdened or it is heliacal or both.; __UNKNOWN__