that if the tremble is a Chain then the fact that the disbeliever is not hierarchical hold is not correct.
sent1: a calisthenic thing does not raven Heller. sent2: the disbeliever does not liquefy Cambrian. sent3: the honeypot either does liquefy Cambrian or aurifies acromion or both. sent4: something that aurifies acromion is not a kind of a fantasist. sent5: the tremble is a kind of a Chain if the disbeliever is a kind of a smith and is hierarchical. sent6: if something is not a fantasist it is a smith. sent7: if the honeypot does liquefy Cambrian then the disbeliever does aurify acromion. sent8: an archangel does not mush pteridologist. sent9: the disbeliever does aurify acromion if the honeypot does aurify acromion. sent10: the tremble is not a Chain if the disbeliever is a kind of a smith and it is hierarchical.
sent4 -> int1: the disbeliever is not a fantasist if that it aurifies acromion is right.; sent3 & sent7 & sent9 -> int2: the disbeliever aurifies acromion.; int1 & int2 -> int3: the disbeliever is not a fantasist.; sent6 -> int4: if the disbeliever is not a fantasist then the fact that it is a smith hold.; int3 & int4 -> int5: the disbeliever is a kind of a smith.; void -> assump2: Let's assume that the disbeliever is hierarchical.; int5 & assump2 -> int6: the disbeliever is a smith and is hierarchical.; int6 & sent10 -> int7: the tremble is not a Chain.; void -> assump1: Let's assume that the tremble is a kind of a Chain.; int7 & assump1 -> int8: this is contradiction.; [assump2] & int8 -> int9: the disbeliever is not hierarchical.; [assump1] & int9 -> hypothesis;
the dispenser does not raven Heller if it is calisthenic.
sent1 -> hypothesis;
$hypothesis$ = that if the tremble is a Chain then the fact that the disbeliever is not hierarchical hold is not correct. ; $context$ = sent1: a calisthenic thing does not raven Heller. sent2: the disbeliever does not liquefy Cambrian. sent3: the honeypot either does liquefy Cambrian or aurifies acromion or both. sent4: something that aurifies acromion is not a kind of a fantasist. sent5: the tremble is a kind of a Chain if the disbeliever is a kind of a smith and is hierarchical. sent6: if something is not a fantasist it is a smith. sent7: if the honeypot does liquefy Cambrian then the disbeliever does aurify acromion. sent8: an archangel does not mush pteridologist. sent9: the disbeliever does aurify acromion if the honeypot does aurify acromion. sent10: the tremble is not a Chain if the disbeliever is a kind of a smith and it is hierarchical. ; $proof$ = 
sent4 -> int1: the disbeliever is not a fantasist if that it aurifies acromion is right.; sent3 & sent7 & sent9 -> int2: the disbeliever aurifies acromion.; int1 & int2 -> int3: the disbeliever is not a fantasist.; sent6 -> int4: if the disbeliever is not a fantasist then the fact that it is a smith hold.; int3 & int4 -> int5: the disbeliever is a kind of a smith.; void -> assump2: Let's assume that the disbeliever is hierarchical.; int5 & assump2 -> int6: the disbeliever is a smith and is hierarchical.; int6 & sent10 -> int7: the tremble is not a Chain.; void -> assump1: Let's assume that the tremble is a kind of a Chain.; int7 & assump1 -> int8: this is contradiction.; [assump2] & int8 -> int9: the disbeliever is not hierarchical.; [assump1] & int9 -> hypothesis; __DISPROVED__