the kylie is a lair that does not concretize.
sent1: something measures SHF if it measures rundle. sent2: if something is a kind of a vacuole it does measure rundle. sent3: if the accumulation is Socratic then it is a vacuole. sent4: that something is uncritical but it is non-avifaunal is incorrect if it measures SHF. sent5: the fact that the accumulation is not Socratic does not hold. sent6: the kylie is avifaunal if the fact that it is a lair and it does not concretize is not true. sent7: the fact that something is a kind of a lair that does not concretize is false if it is not a Burundi.
void -> assump1: Let's assume that the fact that the kylie is a lair but it does not concretize is not right.; sent6 & assump1 -> int1: that the kylie is avifaunal hold.;
the fact that the kylie is a lair that does not concretize is not correct.
sent7 -> int2: if the kylie is not a Burundi the fact that it is a lair and it does not concretize is not right.; sent4 -> int3: if the accumulation measures SHF that it is not critical but non-avifaunal does not hold.; sent1 -> int4: the accumulation does measure SHF if it measures rundle.; sent2 -> int5: the accumulation measures rundle if it is a vacuole.; sent3 & sent5 -> int6: the accumulation is a vacuole.; int5 & int6 -> int7: the accumulation does measure rundle.; int4 & int7 -> int8: the accumulation does measure SHF.; int3 & int8 -> int9: the fact that the accumulation is uncritical but not avifaunal is not correct.; int9 -> int10: there is something such that the fact that it is both uncritical and not avifaunal is incorrect.;
$hypothesis$ = the kylie is a lair that does not concretize. ; $context$ = sent1: something measures SHF if it measures rundle. sent2: if something is a kind of a vacuole it does measure rundle. sent3: if the accumulation is Socratic then it is a vacuole. sent4: that something is uncritical but it is non-avifaunal is incorrect if it measures SHF. sent5: the fact that the accumulation is not Socratic does not hold. sent6: the kylie is avifaunal if the fact that it is a lair and it does not concretize is not true. sent7: the fact that something is a kind of a lair that does not concretize is false if it is not a Burundi. ; $proof$ = 
void -> assump1: Let's assume that the fact that the kylie is a lair but it does not concretize is not right.; sent6 & assump1 -> int1: that the kylie is avifaunal hold.; __UNKNOWN__