the lumberyard is a kind of a Mallarme.
sent1: something is a kind of a middy if it is a worthlessness. sent2: something is not a Mallarme if it does rear Electrophorus and it does not rear ichor. sent3: there is something such that it is a refinisher. sent4: the fact that that the lumberyard does rear Electrophorus and does rear ichor is true does not hold. sent5: if there is something such that it is not a Ogden then the midazolam is a niblick and does rear springtide. sent6: that something is angelic and it is a Mallarme if it is not a Tuscaloosa hold. sent7: the midazolam is a kind of a disservice if it is angelic. sent8: the crystallographer does not weave indecision. sent9: if something is a kind of a refinisher the crystallographer is unworldly. sent10: if the guestroom is not a worthlessness but a disservice the midazolam is not a disservice. sent11: the fact that the midazolam is angelic is right if the Lens is not a Tuscaloosa. sent12: the guestroom is not a kind of a worthlessness. sent13: if the midazolam rears springtide then the Lens is a worthlessness. sent14: the guestroom is not a Ogden if the crystallographer is unworldly but it is not helpful. sent15: the guestroom is not a kind of a middy. sent16: if something that rears Electrophorus does rear ichor it is not a kind of a Mallarme. sent17: the Lens is not a Tuscaloosa if that the lumberyard rears Electrophorus and does not rear ichor is not true. sent18: if something is not angelic it does rear Electrophorus and does not chance. sent19: if the lumberyard does rear Electrophorus and it does rear ichor it is not a kind of a Mallarme. sent20: something is not a kind of a worthlessness and is a disservice if it is not a middy. sent21: if something does not weave indecision it is not helpful and it is creedal.
void -> assump1: Let's assume that that the lumberyard does rear Electrophorus and does not rear ichor is not right.; sent17 & assump1 -> int1: the Lens is not a kind of a Tuscaloosa.; int1 & sent11 -> int2: the midazolam is angelic.; int2 & sent7 -> int3: the fact that the midazolam is a disservice is not false.; sent20 -> int4: the guestroom is not a worthlessness and is a kind of a disservice if it is not a middy.; int4 & sent15 -> int5: the guestroom is not a worthlessness but it is a disservice.; sent10 & int5 -> int6: the midazolam is not a disservice.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the lumberyard rears Electrophorus but it does not rear ichor.; sent2 -> int9: if the lumberyard does rear Electrophorus but it does not rear ichor it is not a kind of a Mallarme.; int8 & int9 -> hypothesis;
the lumberyard is a Mallarme.
sent6 -> int10: that the lumberyard is both angelic and a Mallarme is true if it is not a Tuscaloosa.; sent1 -> int11: the Lens is a kind of a middy if it is a worthlessness.; sent3 & sent9 -> int12: the crystallographer is unworldly.; sent21 -> int13: the crystallographer is a kind of unhelpful thing that is creedal if it does not weave indecision.; int13 & sent8 -> int14: the crystallographer is both not helpful and creedal.; int14 -> int15: the crystallographer is not helpful.; int12 & int15 -> int16: the crystallographer is unworldly but it is not helpful.; sent14 & int16 -> int17: the guestroom is not a Ogden.; int17 -> int18: there is something such that the fact that it is not a kind of a Ogden hold.; int18 & sent5 -> int19: the midazolam is a niblick and rears springtide.; int19 -> int20: that the midazolam does rear springtide hold.; sent13 & int20 -> int21: the Lens is a worthlessness.; int11 & int21 -> int22: the fact that the Lens is a middy is not false.; int22 -> int23: there is something such that that it is a kind of a middy is not false.;
$hypothesis$ = the lumberyard is a kind of a Mallarme. ; $context$ = sent1: something is a kind of a middy if it is a worthlessness. sent2: something is not a Mallarme if it does rear Electrophorus and it does not rear ichor. sent3: there is something such that it is a refinisher. sent4: the fact that that the lumberyard does rear Electrophorus and does rear ichor is true does not hold. sent5: if there is something such that it is not a Ogden then the midazolam is a niblick and does rear springtide. sent6: that something is angelic and it is a Mallarme if it is not a Tuscaloosa hold. sent7: the midazolam is a kind of a disservice if it is angelic. sent8: the crystallographer does not weave indecision. sent9: if something is a kind of a refinisher the crystallographer is unworldly. sent10: if the guestroom is not a worthlessness but a disservice the midazolam is not a disservice. sent11: the fact that the midazolam is angelic is right if the Lens is not a Tuscaloosa. sent12: the guestroom is not a kind of a worthlessness. sent13: if the midazolam rears springtide then the Lens is a worthlessness. sent14: the guestroom is not a Ogden if the crystallographer is unworldly but it is not helpful. sent15: the guestroom is not a kind of a middy. sent16: if something that rears Electrophorus does rear ichor it is not a kind of a Mallarme. sent17: the Lens is not a Tuscaloosa if that the lumberyard rears Electrophorus and does not rear ichor is not true. sent18: if something is not angelic it does rear Electrophorus and does not chance. sent19: if the lumberyard does rear Electrophorus and it does rear ichor it is not a kind of a Mallarme. sent20: something is not a kind of a worthlessness and is a disservice if it is not a middy. sent21: if something does not weave indecision it is not helpful and it is creedal. ; $proof$ = 
void -> assump1: Let's assume that that the lumberyard does rear Electrophorus and does not rear ichor is not right.; sent17 & assump1 -> int1: the Lens is not a kind of a Tuscaloosa.; int1 & sent11 -> int2: the midazolam is angelic.; int2 & sent7 -> int3: the fact that the midazolam is a disservice is not false.; sent20 -> int4: the guestroom is not a worthlessness and is a kind of a disservice if it is not a middy.; int4 & sent15 -> int5: the guestroom is not a worthlessness but it is a disservice.; sent10 & int5 -> int6: the midazolam is not a disservice.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the lumberyard rears Electrophorus but it does not rear ichor.; sent2 -> int9: if the lumberyard does rear Electrophorus but it does not rear ichor it is not a kind of a Mallarme.; int8 & int9 -> hypothesis; __DISPROVED__