if the iguana accepts abstinence the chuck affiliates.
sent1: if either something accepts mistreatment or it is a spacewalker or both then it does not affiliate. sent2: an antibacterial thing is a skywalk. sent3: the chuck is a pieta. sent4: the fact that the chuck is a Dagan is true if the iguana accepts abstinence. sent5: something accepts abstinence if it is a kind of an affiliate. sent6: the iguana is a Dagan if the fact that the chuck does accept abstinence is not wrong. sent7: something is a kind of a Ravel if it does uproot. sent8: something does accept abstinence if the fact that it does not amerce Koran and/or is a Dagan is incorrect. sent9: everything either does accept mistreatment or is a spacewalker or both. sent10: that the chuck affiliates is true if it does amerce Koran. sent11: if the chuck accepts abstinence the iguana amerces Koran. sent12: the iguana is an affiliate if the chuck does accept abstinence. sent13: the chuck is a kind of a Emmanthe. sent14: the chuck is a EST. sent15: if the fact that the iguana is a kind of an affiliate hold the chuck does accept abstinence. sent16: the iguana amerces Koran. sent17: the chuck is an affiliate if it accepts abstinence. sent18: if something is a Dagan then it does amerce Koran.
void -> assump1: Let's assume that the iguana accepts abstinence.; sent4 & assump1 -> int1: the chuck is a Dagan.; sent18 -> int2: the chuck does amerce Koran if it is a Dagan.; int1 & int2 -> int3: the chuck does amerce Koran.; int3 & sent10 -> int4: the chuck affiliates.; [assump1] & int4 -> hypothesis;
the wordbook does accept abstinence.
sent1 -> int5: the iguana is not an affiliate if either it does accept mistreatment or it is a spacewalker or both.; sent9 -> int6: the iguana accepts mistreatment and/or is a spacewalker.; int5 & int6 -> int7: the iguana is not a kind of an affiliate.; sent8 -> int8: the wordbook does accept abstinence if the fact that it does not amerce Koran or it is a Dagan or both does not hold.;
$hypothesis$ = if the iguana accepts abstinence the chuck affiliates. ; $context$ = sent1: if either something accepts mistreatment or it is a spacewalker or both then it does not affiliate. sent2: an antibacterial thing is a skywalk. sent3: the chuck is a pieta. sent4: the fact that the chuck is a Dagan is true if the iguana accepts abstinence. sent5: something accepts abstinence if it is a kind of an affiliate. sent6: the iguana is a Dagan if the fact that the chuck does accept abstinence is not wrong. sent7: something is a kind of a Ravel if it does uproot. sent8: something does accept abstinence if the fact that it does not amerce Koran and/or is a Dagan is incorrect. sent9: everything either does accept mistreatment or is a spacewalker or both. sent10: that the chuck affiliates is true if it does amerce Koran. sent11: if the chuck accepts abstinence the iguana amerces Koran. sent12: the iguana is an affiliate if the chuck does accept abstinence. sent13: the chuck is a kind of a Emmanthe. sent14: the chuck is a EST. sent15: if the fact that the iguana is a kind of an affiliate hold the chuck does accept abstinence. sent16: the iguana amerces Koran. sent17: the chuck is an affiliate if it accepts abstinence. sent18: if something is a Dagan then it does amerce Koran. ; $proof$ = 
void -> assump1: Let's assume that the iguana accepts abstinence.; sent4 & assump1 -> int1: the chuck is a Dagan.; sent18 -> int2: the chuck does amerce Koran if it is a Dagan.; int1 & int2 -> int3: the chuck does amerce Koran.; int3 & sent10 -> int4: the chuck affiliates.; [assump1] & int4 -> hypothesis; __PROVED__