the fact that the macaw is not a limey if the tanbark is not exempt is not right.
sent1: something does not spurt if it is a kind of a radioimmunoassay and does not exempt. sent2: the tanbark is not non-neuralgic. sent3: the macaw does not object Christchurch if the tanbark is not a radioimmunoassay. sent4: something is a radioimmunoassay if that it does not object Christchurch and it is not neuralgic does not hold. sent5: the macaw is not a limey if the tanbark does not spurt.
void -> assump2: Let's assume that the tanbark does not object Christchurch and it is not neuralgic.; assump2 -> int1: the tanbark is not neuralgic.; int1 & sent2 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the tanbark does not object Christchurch and is not neuralgic is not true.; sent4 -> int4: if that the tanbark does not object Christchurch and it is non-neuralgic is false then it is a radioimmunoassay.; int3 & int4 -> int5: the tanbark is a radioimmunoassay.; void -> assump1: Let's assume that the tanbark is not exempt.; int5 & assump1 -> int6: the tanbark is a radioimmunoassay and does not exempt.; sent1 -> int7: if the tanbark is a kind of a radioimmunoassay but it is not exempt then that it does not spurt hold.; int6 & int7 -> int8: the tanbark does not spurt.; int8 & sent5 -> int9: the macaw is not a limey.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the fact that the macaw is not a limey if the tanbark is not exempt is not right. ; $context$ = sent1: something does not spurt if it is a kind of a radioimmunoassay and does not exempt. sent2: the tanbark is not non-neuralgic. sent3: the macaw does not object Christchurch if the tanbark is not a radioimmunoassay. sent4: something is a radioimmunoassay if that it does not object Christchurch and it is not neuralgic does not hold. sent5: the macaw is not a limey if the tanbark does not spurt. ; $proof$ = 
void -> assump2: Let's assume that the tanbark does not object Christchurch and it is not neuralgic.; assump2 -> int1: the tanbark is not neuralgic.; int1 & sent2 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the tanbark does not object Christchurch and is not neuralgic is not true.; sent4 -> int4: if that the tanbark does not object Christchurch and it is non-neuralgic is false then it is a radioimmunoassay.; int3 & int4 -> int5: the tanbark is a radioimmunoassay.; void -> assump1: Let's assume that the tanbark is not exempt.; int5 & assump1 -> int6: the tanbark is a radioimmunoassay and does not exempt.; sent1 -> int7: if the tanbark is a kind of a radioimmunoassay but it is not exempt then that it does not spurt hold.; int6 & int7 -> int8: the tanbark does not spurt.; int8 & sent5 -> int9: the macaw is not a limey.; [assump1] & int9 -> hypothesis; __DISPROVED__