if the infixing velociraptor does not occur then that the Echo does not occur is not wrong.
sent1: the Echo does not occur if the infixing velociraptor occurs. sent2: the breeding occurs or the bogging filename occurs or both. sent3: the fact that both the part and the Fahrenheitness happens is not correct. sent4: if the bogging filename does not occur then the infiltrating does not occur. sent5: that the infiltrating does not occur is caused by that the breeding occurs and/or that the bogging filename does not occur. sent6: the breed occurs and/or the bogging filename does not occur. sent7: the Fahrenheitness prevents that the infixing velociraptor does not occur. sent8: that the infiltrating does not occur leads to that the Service and the electromagneticness occurs. sent9: if the shopping NAC happens and the recapitulation does not occur the capering cupbearer occurs. sent10: the Echo happens if the infixing velociraptor does not occur. sent11: the Service happens. sent12: that both the figurativeness and the electromagneticness happens prevents that the Echo does not occur. sent13: if the fact that the infiltrating does not occur is not wrong then the Service occurs. sent14: that the part and the non-Fahrenheitness happens triggers the figurativeness. sent15: the infixing velociraptor happens if the fact that the part but not the Fahrenheit happens is not true. sent16: that the figurativeness does not occur is prevented by that the part occurs and the Fahrenheit occurs.
void -> assump2: Let's assume that the fact that the part occurs and the Fahrenheit does not occur is wrong.; sent15 & assump2 -> int1: the infixing velociraptor occurs.; void -> assump1: Let's assume that that the infixing velociraptor does not occur is correct.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the part and the non-Fahrenheitness occurs.; int3 & sent14 -> int4: the figurativeness happens.; sent5 & sent6 -> int5: the infiltrating does not occur.; sent8 & int5 -> int6: the Service and the electromagneticness happens.; int6 -> int7: the electromagneticness happens.; int4 & int7 -> int8: both the figurativeness and the electromagneticness happens.;
$hypothesis$ = if the infixing velociraptor does not occur then that the Echo does not occur is not wrong. ; $context$ = sent1: the Echo does not occur if the infixing velociraptor occurs. sent2: the breeding occurs or the bogging filename occurs or both. sent3: the fact that both the part and the Fahrenheitness happens is not correct. sent4: if the bogging filename does not occur then the infiltrating does not occur. sent5: that the infiltrating does not occur is caused by that the breeding occurs and/or that the bogging filename does not occur. sent6: the breed occurs and/or the bogging filename does not occur. sent7: the Fahrenheitness prevents that the infixing velociraptor does not occur. sent8: that the infiltrating does not occur leads to that the Service and the electromagneticness occurs. sent9: if the shopping NAC happens and the recapitulation does not occur the capering cupbearer occurs. sent10: the Echo happens if the infixing velociraptor does not occur. sent11: the Service happens. sent12: that both the figurativeness and the electromagneticness happens prevents that the Echo does not occur. sent13: if the fact that the infiltrating does not occur is not wrong then the Service occurs. sent14: that the part and the non-Fahrenheitness happens triggers the figurativeness. sent15: the infixing velociraptor happens if the fact that the part but not the Fahrenheit happens is not true. sent16: that the figurativeness does not occur is prevented by that the part occurs and the Fahrenheit occurs. ; $proof$ = 
void -> assump2: Let's assume that the fact that the part occurs and the Fahrenheit does not occur is wrong.; sent15 & assump2 -> int1: the infixing velociraptor occurs.; void -> assump1: Let's assume that that the infixing velociraptor does not occur is correct.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the part and the non-Fahrenheitness occurs.; int3 & sent14 -> int4: the figurativeness happens.; sent5 & sent6 -> int5: the infiltrating does not occur.; sent8 & int5 -> int6: the Service and the electromagneticness happens.; int6 -> int7: the electromagneticness happens.; int4 & int7 -> int8: both the figurativeness and the electromagneticness happens.; __UNKNOWN__