the tallyman is a cascabel and it is hieratic.
sent1: the brushwood is a spinnability. sent2: if that the Iowan is not topical is right the brushwood is not a cascabel but it is a spinnability. sent3: that the tallyman is a hieratic hold. sent4: the brushwood is topical. sent5: the Iowan prophesies if something is a spinnability and topical. sent6: something is a cascabel if it is blastodermatic. sent7: if something is not topical then it is a spinnability and blastodermatic.
sent1 & sent4 -> int1: the brushwood is a spinnability and it is topical.; int1 -> int2: there is something such that it is a spinnability that is topical.; int2 & sent5 -> int3: the Iowan does prophesy.; sent6 -> int4: the tallyman is a kind of a cascabel if it is blastodermatic.;
the Iowan is blastodermatic.
sent7 -> int5: the Iowan is a spinnability and it is blastodermatic if it is not topical.;
$hypothesis$ = the tallyman is a cascabel and it is hieratic. ; $context$ = sent1: the brushwood is a spinnability. sent2: if that the Iowan is not topical is right the brushwood is not a cascabel but it is a spinnability. sent3: that the tallyman is a hieratic hold. sent4: the brushwood is topical. sent5: the Iowan prophesies if something is a spinnability and topical. sent6: something is a cascabel if it is blastodermatic. sent7: if something is not topical then it is a spinnability and blastodermatic. ; $proof$ = 
sent1 & sent4 -> int1: the brushwood is a spinnability and it is topical.; int1 -> int2: there is something such that it is a spinnability that is topical.; int2 & sent5 -> int3: the Iowan does prophesy.; sent6 -> int4: the tallyman is a kind of a cascabel if it is blastodermatic.; __UNKNOWN__