the Tabernacle is a Phyllodoce and is a trace.
sent1: that something is colorful and it is nasopharyngeal is false if the fact that it is not a arsenate is correct. sent2: the office-bearer is a arsenate and it is a kind of a ways if it does not busy. sent3: there is something such that the fact that it does not twill tablemate and/or it is a arsenate is not correct. sent4: if the veterinarian is not a kind of a thortveitite the broadsword is a smudge and it busies. sent5: the Tabernacle does not twill tablemate if the frame twill tablemate or it updates Nicaraguan or both. sent6: the fact that something either traces or is not a filtrate or both does not hold if it is a arsenate. sent7: if there exists something such that the fact that it does not twill tablemate or is a arsenate or both is false the Tabernacle does trace. sent8: the maulstick does oxygenate soliton. sent9: something that does update Nicaraguan is packable. sent10: if the broadsword is a smudge it is both not peripheral and not a ways. sent11: if something is not peripheral then it does twill tablemate and/or it does update Nicaraguan. sent12: the office-bearer is not non-colorful if the maulstick is nasopharyngeal. sent13: the hermaphrodite does not encapsulate graphite and is a arsenate. sent14: the veterinarian is not a thortveitite. sent15: if the fact that the office-bearer is colorful and is nasopharyngeal is not right the maulstick is not a trace. sent16: the office-bearer does not update Nicaraguan and is packable if it is not a kind of a ways. sent17: the broadsword is a smudge. sent18: the graphite is a Phyllodoce. sent19: something is not nasopharyngeal but it is a kind of a Phyllodoce if it does not twill tablemate. sent20: the yard is packable and it is colorful if the maulstick is not nasopharyngeal. sent21: if something does not update Nicaraguan but it is packable it is not colorful. sent22: the office-bearer is not a kind of a ways. sent23: the yard is a filtrate if the fact that the office-bearer either is a kind of a trace or is not a kind of a filtrate or both is wrong. sent24: if the fact that the maulstick is not a kind of a narcissus but it is archival is not correct the fact that it is nasopharyngeal is not incorrect. sent25: if the Tabernacle is a kind of non-nasopharyngeal a Phyllodoce the maulstick is not non-nasopharyngeal. sent26: that the Tabernacle is not colorful but it is a kind of a Phyllodoce does not hold. sent27: the maulstick is not a kind of a Phyllodoce.
void -> assump1: Let's assume that that the maulstick is both not a narcissus and archival is not correct.; sent24 & assump1 -> int1: the maulstick is nasopharyngeal.; int1 & sent12 -> int2: that the office-bearer is colorful hold.; sent21 -> int3: the office-bearer is not colorful if it does not update Nicaraguan and it is packable.; sent16 & sent22 -> int4: the office-bearer does not update Nicaraguan and is packable.; int3 & int4 -> int5: the office-bearer is not colorful.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the maulstick is not a narcissus but it is archival.; int7 -> int8: the maulstick is archival.; sent3 & sent7 -> int9: the Tabernacle traces.;
that the Tabernacle is a Phyllodoce and it does trace is not true.
sent1 -> int10: that the office-bearer is colorful and it is nasopharyngeal is false if it is not a arsenate.; sent9 -> int11: if that the frame updates Nicaraguan is not false then it is packable.; sent4 & sent14 -> int12: the broadsword is a kind of a smudge and it busies.; int12 -> int13: the broadsword is a smudge.; sent10 & int13 -> int14: the broadsword is not peripheral and it is not a ways.; int14 -> int15: something is not peripheral and not a ways.;
$hypothesis$ = the Tabernacle is a Phyllodoce and is a trace. ; $context$ = sent1: that something is colorful and it is nasopharyngeal is false if the fact that it is not a arsenate is correct. sent2: the office-bearer is a arsenate and it is a kind of a ways if it does not busy. sent3: there is something such that the fact that it does not twill tablemate and/or it is a arsenate is not correct. sent4: if the veterinarian is not a kind of a thortveitite the broadsword is a smudge and it busies. sent5: the Tabernacle does not twill tablemate if the frame twill tablemate or it updates Nicaraguan or both. sent6: the fact that something either traces or is not a filtrate or both does not hold if it is a arsenate. sent7: if there exists something such that the fact that it does not twill tablemate or is a arsenate or both is false the Tabernacle does trace. sent8: the maulstick does oxygenate soliton. sent9: something that does update Nicaraguan is packable. sent10: if the broadsword is a smudge it is both not peripheral and not a ways. sent11: if something is not peripheral then it does twill tablemate and/or it does update Nicaraguan. sent12: the office-bearer is not non-colorful if the maulstick is nasopharyngeal. sent13: the hermaphrodite does not encapsulate graphite and is a arsenate. sent14: the veterinarian is not a thortveitite. sent15: if the fact that the office-bearer is colorful and is nasopharyngeal is not right the maulstick is not a trace. sent16: the office-bearer does not update Nicaraguan and is packable if it is not a kind of a ways. sent17: the broadsword is a smudge. sent18: the graphite is a Phyllodoce. sent19: something is not nasopharyngeal but it is a kind of a Phyllodoce if it does not twill tablemate. sent20: the yard is packable and it is colorful if the maulstick is not nasopharyngeal. sent21: if something does not update Nicaraguan but it is packable it is not colorful. sent22: the office-bearer is not a kind of a ways. sent23: the yard is a filtrate if the fact that the office-bearer either is a kind of a trace or is not a kind of a filtrate or both is wrong. sent24: if the fact that the maulstick is not a kind of a narcissus but it is archival is not correct the fact that it is nasopharyngeal is not incorrect. sent25: if the Tabernacle is a kind of non-nasopharyngeal a Phyllodoce the maulstick is not non-nasopharyngeal. sent26: that the Tabernacle is not colorful but it is a kind of a Phyllodoce does not hold. sent27: the maulstick is not a kind of a Phyllodoce. ; $proof$ = 
void -> assump1: Let's assume that that the maulstick is both not a narcissus and archival is not correct.; sent24 & assump1 -> int1: the maulstick is nasopharyngeal.; int1 & sent12 -> int2: that the office-bearer is colorful hold.; sent21 -> int3: the office-bearer is not colorful if it does not update Nicaraguan and it is packable.; sent16 & sent22 -> int4: the office-bearer does not update Nicaraguan and is packable.; int3 & int4 -> int5: the office-bearer is not colorful.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the maulstick is not a narcissus but it is archival.; int7 -> int8: the maulstick is archival.; sent3 & sent7 -> int9: the Tabernacle traces.; __UNKNOWN__