the hart's-tongue is not Caucasian and does not unloose jailer.
sent1: the fact that the ceratopsian does not invest Holcus and is not a FAA if there is something such that it is Caucasian is not wrong. sent2: the astrologer is a kind of a seigneury. sent3: the astrologer does not unloose brig and does not dissipate if that the ceratopsian does not dissipate hold. sent4: that the fact that the astrologer does not unloose brig and it does not dissipate hold is wrong. sent5: if the fact that the hart's-tongue unlooses cenobite and is not a seigneury is not correct then the fact that it does not unloose jailer is true. sent6: the fact that something is not a kind of a Caucasian and does not unloose jailer is false if it does invest Holcus. sent7: that the hart's-tongue unlooses cenobite but it is not a seigneury does not hold. sent8: if the ceratopsian does not invest Holcus and it is not a kind of a FAA it does not dissipate.
void -> assump1: Let's assume that the hart's-tongue is a Caucasian.; assump1 -> int1: there exists something such that it is a kind of a Caucasian.; int1 & sent1 -> int2: the ceratopsian does not invest Holcus and is not a kind of a FAA.; int2 & sent8 -> int3: the fact that the ceratopsian does not dissipate is right.; int3 & sent3 -> int4: the astrologer does not unloose brig and does not dissipate.; int4 & sent4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the hart's-tongue is not Caucasian.; sent5 & sent7 -> int7: the hart's-tongue does not unloose jailer.; int6 & int7 -> hypothesis;
that the hart's-tongue is not Caucasian and it does not unloose jailer does not hold.
sent6 -> int8: if the hart's-tongue invests Holcus that it is not a Caucasian and does not unloose jailer is not right.;
$hypothesis$ = the hart's-tongue is not Caucasian and does not unloose jailer. ; $context$ = sent1: the fact that the ceratopsian does not invest Holcus and is not a FAA if there is something such that it is Caucasian is not wrong. sent2: the astrologer is a kind of a seigneury. sent3: the astrologer does not unloose brig and does not dissipate if that the ceratopsian does not dissipate hold. sent4: that the fact that the astrologer does not unloose brig and it does not dissipate hold is wrong. sent5: if the fact that the hart's-tongue unlooses cenobite and is not a seigneury is not correct then the fact that it does not unloose jailer is true. sent6: the fact that something is not a kind of a Caucasian and does not unloose jailer is false if it does invest Holcus. sent7: that the hart's-tongue unlooses cenobite but it is not a seigneury does not hold. sent8: if the ceratopsian does not invest Holcus and it is not a kind of a FAA it does not dissipate. ; $proof$ = 
void -> assump1: Let's assume that the hart's-tongue is a Caucasian.; assump1 -> int1: there exists something such that it is a kind of a Caucasian.; int1 & sent1 -> int2: the ceratopsian does not invest Holcus and is not a kind of a FAA.; int2 & sent8 -> int3: the fact that the ceratopsian does not dissipate is right.; int3 & sent3 -> int4: the astrologer does not unloose brig and does not dissipate.; int4 & sent4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the hart's-tongue is not Caucasian.; sent5 & sent7 -> int7: the hart's-tongue does not unloose jailer.; int6 & int7 -> hypothesis; __PROVED__