the enginery is a kind of a dishwater.
sent1: the rimu is Aboriginal. sent2: the fact that the baldhead is vicennial is not false. sent3: the enginery is a academicianship if the fact that it is both a quixotism and not a inessentiality is wrong. sent4: the enginery is not Aboriginal and is not a kind of a inessentiality. sent5: if the enginery does organize bachelorhood that it is a dishwater is correct. sent6: the fact that the enginery is a quixotism but not a inessentiality is not true if it does not organize bachelorhood. sent7: the baldhead is a quixotism. sent8: the fact that the baldhead is non-adiabatic thing that does not organize bachelorhood hold. sent9: that that the rimu is a academicianship and is not Aboriginal is not incorrect does not hold. sent10: something is anicteric if it organizes bachelorhood. sent11: the baldhead organizes cityscape if the enginery is a academicianship.
void -> assump1: Let's assume that the enginery does not organize bachelorhood.; sent6 & assump1 -> int1: the fact that the enginery is a kind of a quixotism and is not a kind of a inessentiality is wrong.; int1 & sent3 -> int2: the enginery is a academicianship.; int2 & sent11 -> int3: the baldhead organizes cityscape.;
if the baldhead organizes bachelorhood it is anicteric.
sent10 -> hypothesis;
$hypothesis$ = the enginery is a kind of a dishwater. ; $context$ = sent1: the rimu is Aboriginal. sent2: the fact that the baldhead is vicennial is not false. sent3: the enginery is a academicianship if the fact that it is both a quixotism and not a inessentiality is wrong. sent4: the enginery is not Aboriginal and is not a kind of a inessentiality. sent5: if the enginery does organize bachelorhood that it is a dishwater is correct. sent6: the fact that the enginery is a quixotism but not a inessentiality is not true if it does not organize bachelorhood. sent7: the baldhead is a quixotism. sent8: the fact that the baldhead is non-adiabatic thing that does not organize bachelorhood hold. sent9: that that the rimu is a academicianship and is not Aboriginal is not incorrect does not hold. sent10: something is anicteric if it organizes bachelorhood. sent11: the baldhead organizes cityscape if the enginery is a academicianship. ; $proof$ = 
void -> assump1: Let's assume that the enginery does not organize bachelorhood.; sent6 & assump1 -> int1: the fact that the enginery is a kind of a quixotism and is not a kind of a inessentiality is wrong.; int1 & sent3 -> int2: the enginery is a academicianship.; int2 & sent11 -> int3: the baldhead organizes cityscape.; __UNKNOWN__