the AC is a rearrangement.
sent1: if that something is a rearrangement that is not juridical is wrong then it is not a rearrangement. sent2: there are dynastic things. sent3: there is something such that it is non-dynastic. sent4: that the fossil is a rearrangement and is not juridical is wrong if it is basipetal. sent5: if something is both not nosohusial and not hydrokinetic then it is not unimpressive. sent6: the fossil is not juridical. sent7: if there is something such that it is not dynastic the fossil is not juridical. sent8: if something that does understand is unimpressive then it is not hydrokinetic. sent9: that the fact that the fossil is non-basipetal thing that does not understand does not hold hold if the fact that it does not suit is not incorrect. sent10: the AC is a rearrangement and is not nosohusial if that the fossil is not hydrokinetic hold. sent11: the fossil is not a suit. sent12: something is not typographic and it is not basipetal if it is not dynastic. sent13: if the countryside is not unimpressive then it understands and it is basipetal. sent14: the fossil is basipetal if the countryside is basipetal. sent15: something is not a rearrangement if the fact that it is non-dynastic a rearrangement is wrong. sent16: the fossil is unimpressive.
void -> assump1: Let's assume that the fossil does not understand.; sent9 & sent11 -> int1: the fact that the fossil is not basipetal and it does not understand is not true.; sent8 -> int2: the fossil is not hydrokinetic if it understands and is unimpressive.;
the AC is not a rearrangement.
sent15 -> int3: the AC is not a rearrangement if the fact that it is not dynastic and it is a kind of a rearrangement is incorrect.; sent1 -> int4: that if the fact that the fossil is the rearrangement and not juridical is not true then the fossil is not a rearrangement is true.; sent5 -> int5: the countryside is not unimpressive if it is a kind of non-nosohusial thing that is not hydrokinetic.;
$hypothesis$ = the AC is a rearrangement. ; $context$ = sent1: if that something is a rearrangement that is not juridical is wrong then it is not a rearrangement. sent2: there are dynastic things. sent3: there is something such that it is non-dynastic. sent4: that the fossil is a rearrangement and is not juridical is wrong if it is basipetal. sent5: if something is both not nosohusial and not hydrokinetic then it is not unimpressive. sent6: the fossil is not juridical. sent7: if there is something such that it is not dynastic the fossil is not juridical. sent8: if something that does understand is unimpressive then it is not hydrokinetic. sent9: that the fact that the fossil is non-basipetal thing that does not understand does not hold hold if the fact that it does not suit is not incorrect. sent10: the AC is a rearrangement and is not nosohusial if that the fossil is not hydrokinetic hold. sent11: the fossil is not a suit. sent12: something is not typographic and it is not basipetal if it is not dynastic. sent13: if the countryside is not unimpressive then it understands and it is basipetal. sent14: the fossil is basipetal if the countryside is basipetal. sent15: something is not a rearrangement if the fact that it is non-dynastic a rearrangement is wrong. sent16: the fossil is unimpressive. ; $proof$ = 
void -> assump1: Let's assume that the fossil does not understand.; sent9 & sent11 -> int1: the fact that the fossil is not basipetal and it does not understand is not true.; sent8 -> int2: the fossil is not hydrokinetic if it understands and is unimpressive.; __UNKNOWN__