the respirator does narrate slice.
sent1: the respirator does not bind RCMP and is not a Cheiranthus. sent2: the dioxin uncorks agility. sent3: the fact that something does narrate slice is not wrong if the fact that it is Gothic hold. sent4: if the respirator is a Abecedarian then the rifampin is a kind of a Gothic. sent5: if something does not bind RCMP and it is not a Cheiranthus it is non-basaltic. sent6: something is not a Cheiranthus if it is not basaltic. sent7: that the rifampin is not a Abecedarian and does not uncork respirator is not true if it does not uncork agility. sent8: if a Fowler is a Arawn then it does not narrate slice. sent9: the thumbnail either does not bind RCMP or is a Cheiranthus or both if the dioxin is not a Cheiranthus. sent10: something is not a Arawn. sent11: something is a Abecedarian and it is a kind of a Fowler if it is non-basaltic. sent12: the respirator is a Gothic if the thumbnail does not bind RCMP and/or is a Cheiranthus. sent13: the respirator is a Arawn if the rifampin does uncork agility. sent14: the rifampin is not a kind of a Fowler and does not uncork agility if there exists something such that it is not a Arawn. sent15: if the fact that the rifampin is not a Abecedarian and does not uncork respirator is not correct then the dioxin is not basaltic.
sent10 & sent14 -> int1: the rifampin is not a Fowler and does not uncork agility.; int1 -> int2: the rifampin does not uncork agility.; int2 & sent7 -> int3: the fact that the rifampin is not a Abecedarian and does not uncork respirator is wrong.; int3 & sent15 -> int4: the dioxin is not basaltic.; sent6 -> int5: the fact that if the dioxin is not basaltic the dioxin is not a Cheiranthus is right.; int4 & int5 -> int6: the dioxin is not a Cheiranthus.; int6 & sent9 -> int7: the thumbnail does not bind RCMP and/or it is a kind of a Cheiranthus.; int7 & sent12 -> int8: the respirator is not non-Gothic.; sent3 -> int9: if the respirator is a Gothic it does narrate slice.; int8 & int9 -> hypothesis;
the respirator does not narrate slice.
sent8 -> int10: if that the respirator is a Fowler and a Arawn is true then it does not narrate slice.; sent11 -> int11: the respirator is a kind of a Abecedarian that is a Fowler if it is not basaltic.; sent5 -> int12: the respirator is not basaltic if it does not bind RCMP and it is not a Cheiranthus.; int12 & sent1 -> int13: the respirator is not basaltic.; int11 & int13 -> int14: the respirator is a kind of a Abecedarian that is a Fowler.; int14 -> int15: the respirator is a Fowler.; sent2 -> int16: there exists something such that it does uncork agility.;
$hypothesis$ = the respirator does narrate slice. ; $context$ = sent1: the respirator does not bind RCMP and is not a Cheiranthus. sent2: the dioxin uncorks agility. sent3: the fact that something does narrate slice is not wrong if the fact that it is Gothic hold. sent4: if the respirator is a Abecedarian then the rifampin is a kind of a Gothic. sent5: if something does not bind RCMP and it is not a Cheiranthus it is non-basaltic. sent6: something is not a Cheiranthus if it is not basaltic. sent7: that the rifampin is not a Abecedarian and does not uncork respirator is not true if it does not uncork agility. sent8: if a Fowler is a Arawn then it does not narrate slice. sent9: the thumbnail either does not bind RCMP or is a Cheiranthus or both if the dioxin is not a Cheiranthus. sent10: something is not a Arawn. sent11: something is a Abecedarian and it is a kind of a Fowler if it is non-basaltic. sent12: the respirator is a Gothic if the thumbnail does not bind RCMP and/or is a Cheiranthus. sent13: the respirator is a Arawn if the rifampin does uncork agility. sent14: the rifampin is not a kind of a Fowler and does not uncork agility if there exists something such that it is not a Arawn. sent15: if the fact that the rifampin is not a Abecedarian and does not uncork respirator is not correct then the dioxin is not basaltic. ; $proof$ = 
sent10 & sent14 -> int1: the rifampin is not a Fowler and does not uncork agility.; int1 -> int2: the rifampin does not uncork agility.; int2 & sent7 -> int3: the fact that the rifampin is not a Abecedarian and does not uncork respirator is wrong.; int3 & sent15 -> int4: the dioxin is not basaltic.; sent6 -> int5: the fact that if the dioxin is not basaltic the dioxin is not a Cheiranthus is right.; int4 & int5 -> int6: the dioxin is not a Cheiranthus.; int6 & sent9 -> int7: the thumbnail does not bind RCMP and/or it is a kind of a Cheiranthus.; int7 & sent12 -> int8: the respirator is not non-Gothic.; sent3 -> int9: if the respirator is a Gothic it does narrate slice.; int8 & int9 -> hypothesis; __PROVED__