the capital is a hap.
sent1: the duplication is a kind of a charioteer and/or it does dally. sent2: there is nothing such that it is a hickey and wakes hologram. sent3: if that something is a hypnagogue and it does wake Lagidium is wrong then it does not wake Lagidium. sent4: if the capital is a kind of a hypnagogue that wakes hologram the stolon is not a hap. sent5: the hologram wakes Lagidium. sent6: The Lagidium wakes hologram. sent7: the stolon does wake hologram if the duplication does dally. sent8: the fact that if the stolon does wake hologram and it results UDA the hologram does not wake Lagidium is not incorrect. sent9: something does not dally but it is a charioteer if it wakes hologram. sent10: if the stolon does not result UDA it is not a foam. sent11: the stolon is not a foam and is a hypnagogue if it does not result UDA. sent12: if something does not dally but it is a charioteer then it is not a hap. sent13: the stolon is not a kind of a foam. sent14: if the capital does not wake Lagidium then it does wake hologram and it results UDA. sent15: if the stolon is a kind of a hypnagogue then the capital is not pious. sent16: the stolon does wake hologram if the duplication is a charioteer. sent17: the capital is not pious.
sent1 & sent16 & sent7 -> int1: the stolon does wake hologram.; void -> assump1: Let's assume that the stolon does result UDA.; int1 & assump1 -> int2: the stolon does wake hologram and it does result UDA.; int2 & sent8 -> int3: the hologram does not wake Lagidium.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the stolon does not result UDA.; int5 & sent11 -> int6: the stolon is not a foam but it is a hypnagogue.; int6 -> int7: the stolon is a kind of a hypnagogue.;
the bootjack is not a hickey and is a charioteer.
sent2 -> int8: the fact that the duplication is a kind of a hickey and wakes hologram is wrong.;
$hypothesis$ = the capital is a hap. ; $context$ = sent1: the duplication is a kind of a charioteer and/or it does dally. sent2: there is nothing such that it is a hickey and wakes hologram. sent3: if that something is a hypnagogue and it does wake Lagidium is wrong then it does not wake Lagidium. sent4: if the capital is a kind of a hypnagogue that wakes hologram the stolon is not a hap. sent5: the hologram wakes Lagidium. sent6: The Lagidium wakes hologram. sent7: the stolon does wake hologram if the duplication does dally. sent8: the fact that if the stolon does wake hologram and it results UDA the hologram does not wake Lagidium is not incorrect. sent9: something does not dally but it is a charioteer if it wakes hologram. sent10: if the stolon does not result UDA it is not a foam. sent11: the stolon is not a foam and is a hypnagogue if it does not result UDA. sent12: if something does not dally but it is a charioteer then it is not a hap. sent13: the stolon is not a kind of a foam. sent14: if the capital does not wake Lagidium then it does wake hologram and it results UDA. sent15: if the stolon is a kind of a hypnagogue then the capital is not pious. sent16: the stolon does wake hologram if the duplication is a charioteer. sent17: the capital is not pious. ; $proof$ = 
sent1 & sent16 & sent7 -> int1: the stolon does wake hologram.; void -> assump1: Let's assume that the stolon does result UDA.; int1 & assump1 -> int2: the stolon does wake hologram and it does result UDA.; int2 & sent8 -> int3: the hologram does not wake Lagidium.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the stolon does not result UDA.; int5 & sent11 -> int6: the stolon is not a foam but it is a hypnagogue.; int6 -> int7: the stolon is a kind of a hypnagogue.; __UNKNOWN__