the jackal is not a kind of a NAC but it is manageable.
sent1: the peridot is a NAC and it is a Attic if the bathyscaphe is not a Fry. sent2: the peridot is a kind of a Fry if it is a Attic. sent3: something that is not absolutist does not slog pataca and is not cubital. sent4: that the bathyscaphe is a kind of a ignorantness is not wrong. sent5: if there is something such that the fact that it is not a kind of a Steinway and it is an absolutist is not right then the peridot is not a kind of a Fry. sent6: either the autoradiography is telephonic or it does book Hippoboscidae or both if it is not a kind of a log. sent7: there exists something such that the fact that it is not a Steinway and it is an absolutist is incorrect. sent8: the clofibrate does not book theremin if that the autoradiography is a kind of non-herbivorous thing that does not book undertow is wrong. sent9: something does not rid Masorah if it does book Hippoboscidae. sent10: if the fact that something is telephonic is right it does not rid Masorah. sent11: the peridot is not a kind of a Fry if there is something such that it is not a kind of an absolutist. sent12: something is a Steinway if it is electroencephalographic. sent13: that the autoradiography is not a log is correct. sent14: the jackal does not slog pataca. sent15: if the bathyscaphe does not slog pataca it is not a kind of a NAC and is cubital. sent16: that the bathyscaphe is an absolutist and it is a kind of a Steinway is not true if the clofibrate does not book theremin. sent17: if something does not rid Masorah that it is not herbivorous and it does not book undertow is not right. sent18: if the bathyscaphe is not a kind of a NAC then it is a kind of non-Attic thing that is a kind of a Fry. sent19: there exists something such that that it is both a NAC and manageable does not hold. sent20: if something does not slog pataca and is not cubital it is not a Fry. sent21: the jackal is not a NAC but it is manageable if the bathyscaphe is not a NAC. sent22: the bathyscaphe does not slog pataca if the peridot is not a kind of a Attic.
void -> assump1: Let's assume that the peridot is a Attic.; sent2 & assump1 -> int1: the fact that the peridot is a Fry is true.; sent7 & sent5 -> int2: the peridot is not a kind of a Fry.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the peridot is not a Attic.; int4 & sent22 -> int5: the bathyscaphe does not slog pataca.; int5 & sent15 -> int6: the bathyscaphe is not a NAC but it is cubital.; int6 -> int7: the bathyscaphe is not a NAC.; int7 & sent21 -> hypothesis;
the fact that the jackal is not a NAC but it is manageable does not hold.
sent20 -> int8: that if the bathyscaphe does not slog pataca and it is not cubital then the bathyscaphe is not a kind of a Fry is correct.; sent3 -> int9: the bathyscaphe does not slog pataca and is not cubital if it is not an absolutist.; sent17 -> int10: if the autoradiography does not rid Masorah then that it is not herbivorous and it does not book undertow does not hold.; sent6 & sent13 -> int11: the autoradiography is telephonic and/or it books Hippoboscidae.; sent10 -> int12: the autoradiography does not rid Masorah if it is telephonic.; sent9 -> int13: if the autoradiography does book Hippoboscidae then it does not rid Masorah.; int11 & int12 & int13 -> int14: the autoradiography does not rid Masorah.; int10 & int14 -> int15: that the autoradiography is not herbivorous and it does not book undertow is incorrect.; sent8 & int15 -> int16: the clofibrate does not book theremin.; sent16 & int16 -> int17: the fact that the bathyscaphe is a kind of an absolutist and is a Steinway is wrong.;
$hypothesis$ = the jackal is not a kind of a NAC but it is manageable. ; $context$ = sent1: the peridot is a NAC and it is a Attic if the bathyscaphe is not a Fry. sent2: the peridot is a kind of a Fry if it is a Attic. sent3: something that is not absolutist does not slog pataca and is not cubital. sent4: that the bathyscaphe is a kind of a ignorantness is not wrong. sent5: if there is something such that the fact that it is not a kind of a Steinway and it is an absolutist is not right then the peridot is not a kind of a Fry. sent6: either the autoradiography is telephonic or it does book Hippoboscidae or both if it is not a kind of a log. sent7: there exists something such that the fact that it is not a Steinway and it is an absolutist is incorrect. sent8: the clofibrate does not book theremin if that the autoradiography is a kind of non-herbivorous thing that does not book undertow is wrong. sent9: something does not rid Masorah if it does book Hippoboscidae. sent10: if the fact that something is telephonic is right it does not rid Masorah. sent11: the peridot is not a kind of a Fry if there is something such that it is not a kind of an absolutist. sent12: something is a Steinway if it is electroencephalographic. sent13: that the autoradiography is not a log is correct. sent14: the jackal does not slog pataca. sent15: if the bathyscaphe does not slog pataca it is not a kind of a NAC and is cubital. sent16: that the bathyscaphe is an absolutist and it is a kind of a Steinway is not true if the clofibrate does not book theremin. sent17: if something does not rid Masorah that it is not herbivorous and it does not book undertow is not right. sent18: if the bathyscaphe is not a kind of a NAC then it is a kind of non-Attic thing that is a kind of a Fry. sent19: there exists something such that that it is both a NAC and manageable does not hold. sent20: if something does not slog pataca and is not cubital it is not a Fry. sent21: the jackal is not a NAC but it is manageable if the bathyscaphe is not a NAC. sent22: the bathyscaphe does not slog pataca if the peridot is not a kind of a Attic. ; $proof$ = 
void -> assump1: Let's assume that the peridot is a Attic.; sent2 & assump1 -> int1: the fact that the peridot is a Fry is true.; sent7 & sent5 -> int2: the peridot is not a kind of a Fry.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the peridot is not a Attic.; int4 & sent22 -> int5: the bathyscaphe does not slog pataca.; int5 & sent15 -> int6: the bathyscaphe is not a NAC but it is cubital.; int6 -> int7: the bathyscaphe is not a NAC.; int7 & sent21 -> hypothesis; __PROVED__