the boatbill is not an adoptee but it is bidirectional.
sent1: if the whaler is not a monoclonal the fact that the rapier is not a divertimento and/or it is not a monoclonal does not hold. sent2: the boatbill is bidirectional. sent3: if something is a fear then that it is not an adoptee and is bidirectional is not true. sent4: the rapier is a monoclonal. sent5: the rapier is not a divertimento or it is not a monoclonal or both. sent6: the basil is bidirectional. sent7: the fact that the whaler fears is not wrong if the boatbill is an adoptee. sent8: the rapier is not a divertimento and/or it is a kind of a monoclonal. sent9: that the rapier is non-monoclonal or it is not aroid or both is false. sent10: the whaler is not aroid. sent11: if the whaler is not a kind of a monoclonal the rapier is monoclonal.
void -> assump1: Let's assume that the boatbill is an adoptee.; sent7 & assump1 -> int1: the whaler fears.; int1 & sent10 -> int2: the whaler is a kind of a fear that is not aroid.;
the fact that the boatbill is not an adoptee and is bidirectional is not correct.
sent3 -> int3: that the boatbill is not an adoptee but it is bidirectional is not right if it is a kind of a fear.;
$hypothesis$ = the boatbill is not an adoptee but it is bidirectional. ; $context$ = sent1: if the whaler is not a monoclonal the fact that the rapier is not a divertimento and/or it is not a monoclonal does not hold. sent2: the boatbill is bidirectional. sent3: if something is a fear then that it is not an adoptee and is bidirectional is not true. sent4: the rapier is a monoclonal. sent5: the rapier is not a divertimento or it is not a monoclonal or both. sent6: the basil is bidirectional. sent7: the fact that the whaler fears is not wrong if the boatbill is an adoptee. sent8: the rapier is not a divertimento and/or it is a kind of a monoclonal. sent9: that the rapier is non-monoclonal or it is not aroid or both is false. sent10: the whaler is not aroid. sent11: if the whaler is not a kind of a monoclonal the rapier is monoclonal. ; $proof$ = 
void -> assump1: Let's assume that the boatbill is an adoptee.; sent7 & assump1 -> int1: the whaler fears.; int1 & sent10 -> int2: the whaler is a kind of a fear that is not aroid.; __UNKNOWN__