the indusium hollows.
sent1: something is a kind of a hollow if that it is architectural and it does not bear fanlight is wrong. sent2: if there is something such that it attests the Clay is a kind of a leer and it evens hypha. sent3: the bargello does bear fanlight. sent4: if something bears fanlight it is a kind of a hollow. sent5: if the indusium is architectural but it does not bear fanlight then the Montanan is an exigency. sent6: the Clay is toxicological. sent7: something does even hematite if it is an exigency. sent8: the indusium evens ignorantness. sent9: if the Montanan does even hematite the Clay is toxicological but it does not even ignorantness. sent10: if the Montanan is both not an exigency and not non-hollow then the indusium is not a kind of a non-hollow. sent11: if there is something such that it attests then the Clay does leer. sent12: there is something such that the fact that it does bone is not false. sent13: there is something such that it attests. sent14: the Montanan is an exigency if the indusium is architectural and does bear fanlight.
void -> assump1: Let's assume that the indusium is architectural but it does not bear fanlight.; sent5 & assump1 -> int1: the Montanan is an exigency.; sent7 -> int2: if the Montanan is an exigency it evens hematite.; int1 & int2 -> int3: the Montanan does even hematite.; int3 & sent9 -> int4: the Clay is toxicological but it does not even ignorantness.; sent13 & sent2 -> int5: the Clay is a kind of a leer that evens hypha.; int5 -> int6: the Clay does even hypha.; sent1 -> int7: if that the indusium is architectural and does not bear fanlight is wrong then it does hollow.;
the indusium is not a hollow.
$hypothesis$ = the indusium hollows. ; $context$ = sent1: something is a kind of a hollow if that it is architectural and it does not bear fanlight is wrong. sent2: if there is something such that it attests the Clay is a kind of a leer and it evens hypha. sent3: the bargello does bear fanlight. sent4: if something bears fanlight it is a kind of a hollow. sent5: if the indusium is architectural but it does not bear fanlight then the Montanan is an exigency. sent6: the Clay is toxicological. sent7: something does even hematite if it is an exigency. sent8: the indusium evens ignorantness. sent9: if the Montanan does even hematite the Clay is toxicological but it does not even ignorantness. sent10: if the Montanan is both not an exigency and not non-hollow then the indusium is not a kind of a non-hollow. sent11: if there is something such that it attests then the Clay does leer. sent12: there is something such that the fact that it does bone is not false. sent13: there is something such that it attests. sent14: the Montanan is an exigency if the indusium is architectural and does bear fanlight. ; $proof$ = 
void -> assump1: Let's assume that the indusium is architectural but it does not bear fanlight.; sent5 & assump1 -> int1: the Montanan is an exigency.; sent7 -> int2: if the Montanan is an exigency it evens hematite.; int1 & int2 -> int3: the Montanan does even hematite.; int3 & sent9 -> int4: the Clay is toxicological but it does not even ignorantness.; sent13 & sent2 -> int5: the Clay is a kind of a leer that evens hypha.; int5 -> int6: the Clay does even hypha.; sent1 -> int7: if that the indusium is architectural and does not bear fanlight is wrong then it does hollow.; __UNKNOWN__