the bluepoint is mandibulate.
sent1: if the Titan does crank doorplate then it is a kind of a autofocus. sent2: everything is not plus. sent3: if something does tsk then the fact that it is mandibulate and it is not a relay is not true. sent4: if something is not a kind of a doghouse or is not a autofocus or both then it is not a autofocus. sent5: something relays if the fact that it does tsk is not false. sent6: if something is bottom-up but it is not a croak then it does tsk. sent7: if the fact that the ghost is bottom-up but it does not croak is wrong the bluepoint is mandibulate. sent8: the ghost is not a croak. sent9: something tsks if it does not crank doorplate and it is not a autofocus. sent10: the bluepoint is not non-mandibulate if the ghost is a croak. sent11: the fact that the ghost is bottom-up and croaks is wrong. sent12: the Titan cranks doorplate if the ghost is a kind of a relay.
sent6 -> int1: the ghost tsks if it is bottom-up and it is not a croak.; void -> assump1: Let's assume that the ghost is both bottom-up and not a croak.; int1 & assump1 -> int2: the fact that the ghost tsks is right.; sent5 -> int3: the ghost is a kind of a relay if it does tsk.; int2 & int3 -> int4: the ghost is a relay.; int4 & sent12 -> int5: the Titan does crank doorplate.; int5 & sent1 -> int6: the Titan is a kind of a autofocus.; sent4 -> int7: if the Titan is not a doghouse and/or is not a autofocus it is not a autofocus.;
the bluepoint is not mandibulate.
sent3 -> int8: if the blaster tsks the fact that it is a kind of mandibulate thing that is not a relay does not hold.; sent9 -> int9: if the blaster does not crank doorplate and it is not a autofocus it tsks.; sent2 -> int10: the blaster is not plus.;
$hypothesis$ = the bluepoint is mandibulate. ; $context$ = sent1: if the Titan does crank doorplate then it is a kind of a autofocus. sent2: everything is not plus. sent3: if something does tsk then the fact that it is mandibulate and it is not a relay is not true. sent4: if something is not a kind of a doghouse or is not a autofocus or both then it is not a autofocus. sent5: something relays if the fact that it does tsk is not false. sent6: if something is bottom-up but it is not a croak then it does tsk. sent7: if the fact that the ghost is bottom-up but it does not croak is wrong the bluepoint is mandibulate. sent8: the ghost is not a croak. sent9: something tsks if it does not crank doorplate and it is not a autofocus. sent10: the bluepoint is not non-mandibulate if the ghost is a croak. sent11: the fact that the ghost is bottom-up and croaks is wrong. sent12: the Titan cranks doorplate if the ghost is a kind of a relay. ; $proof$ = 
sent6 -> int1: the ghost tsks if it is bottom-up and it is not a croak.; void -> assump1: Let's assume that the ghost is both bottom-up and not a croak.; int1 & assump1 -> int2: the fact that the ghost tsks is right.; sent5 -> int3: the ghost is a kind of a relay if it does tsk.; int2 & int3 -> int4: the ghost is a relay.; int4 & sent12 -> int5: the Titan does crank doorplate.; int5 & sent1 -> int6: the Titan is a kind of a autofocus.; sent4 -> int7: if the Titan is not a doghouse and/or is not a autofocus it is not a autofocus.; __UNKNOWN__