the canton does not occur.
sent1: the amplitude does not occur. sent2: the sedition occurs. sent3: the bogging happens. sent4: that the putting Beethoven but not the amplitude occurs is caused by that the tetravalentness does not occur. sent5: the agriculturalness prevents that the indentation happens. sent6: the tetravalentness does not occur. sent7: the bogging happens and the indentation occurs. sent8: if the dragging Dasypodidae happens then that both the agriculturalness and the parietalness happens is wrong. sent9: that not the agriculturalness but the parietalness happens is not right if the dragging Dasypodidae occurs. sent10: the non-tetravalentness brings about that the amplitude does not occur. sent11: if the fact that that both the non-agriculturalness and the parietalness occurs is not incorrect is not right then the indentation does not occur. sent12: that the agriculturalness and the parietalness occurs is not correct. sent13: the putting glance does not occur. sent14: that the leaping happens and the putting Beethoven happens causes that the cantoning does not occur.
void -> assump1: Let's assume that the dragging Dasypodidae happens.; sent9 & assump1 -> int1: that the agriculturalness does not occur and the parietalness happens is not true.; int1 & sent11 -> int2: the indentation does not occur.; sent7 -> int3: the indentation occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the dragging Dasypodidae does not occur.; int5 & sent2 -> int6: the sedition occurs but the dragging Dasypodidae does not occur.; sent4 & sent6 -> int7: the putting Beethoven but not the amplitude occurs.; int7 -> int8: the putting Beethoven occurs.;
$hypothesis$ = the canton does not occur. ; $context$ = sent1: the amplitude does not occur. sent2: the sedition occurs. sent3: the bogging happens. sent4: that the putting Beethoven but not the amplitude occurs is caused by that the tetravalentness does not occur. sent5: the agriculturalness prevents that the indentation happens. sent6: the tetravalentness does not occur. sent7: the bogging happens and the indentation occurs. sent8: if the dragging Dasypodidae happens then that both the agriculturalness and the parietalness happens is wrong. sent9: that not the agriculturalness but the parietalness happens is not right if the dragging Dasypodidae occurs. sent10: the non-tetravalentness brings about that the amplitude does not occur. sent11: if the fact that that both the non-agriculturalness and the parietalness occurs is not incorrect is not right then the indentation does not occur. sent12: that the agriculturalness and the parietalness occurs is not correct. sent13: the putting glance does not occur. sent14: that the leaping happens and the putting Beethoven happens causes that the cantoning does not occur. ; $proof$ = 
void -> assump1: Let's assume that the dragging Dasypodidae happens.; sent9 & assump1 -> int1: that the agriculturalness does not occur and the parietalness happens is not true.; int1 & sent11 -> int2: the indentation does not occur.; sent7 -> int3: the indentation occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the dragging Dasypodidae does not occur.; int5 & sent2 -> int6: the sedition occurs but the dragging Dasypodidae does not occur.; sent4 & sent6 -> int7: the putting Beethoven but not the amplitude occurs.; int7 -> int8: the putting Beethoven occurs.; __UNKNOWN__