the rudapithecus is not a Lilliputian.
sent1: the rudapithecus is a Lilliputian if it is temperate and steadies. sent2: there is something such that the fact that it is not a costumed and it is a moonwalk does not hold. sent3: the sackbut is not a boiler if something is an innocent and it steadies. sent4: something is steady. sent5: if there is something such that it is not a moonwalk the sackbut does not nurse nanomia. sent6: the fact that the liverwurst is not unsteady but it is not temperate does not hold. sent7: something is not a kind of a costumed but it is a moonwalk. sent8: the fact that if the sackbut is not steady that the sackbut is an external and does not urinate is incorrect is not incorrect. sent9: the sackbut is a boiler if it is not a kind of an external. sent10: there is something such that the fact that it is a costumed and it is a moonwalk is false. sent11: the plasmablast is a kind of a schoolmaster but it is not temperate. sent12: there exists something such that the fact that it is both not rayless and a Labourite is not right. sent13: the rudapithecus is not steady. sent14: that something is a kind of a boiler if that it is external and does not urinate does not hold hold. sent15: the sackbut is steady and it is an external. sent16: the rudapithecus does not urinate if a boiler is Lilliputian. sent17: if something is temperate and is not steady then it is a Lilliputian. sent18: if that that the liverwurst is either steady or Lilliputian or both does not hold is right the rudapithecus is not Lilliputian. sent19: if something is not an external then it is a kind of a boiler. sent20: the liverwurst is an innocent. sent21: if there is something such that the fact that it is not a costumed but a moonwalk is wrong the sackbut does not nurse nanomia. sent22: if the fact that the liverwurst is not steady is correct then the rudapithecus is temperate but it is not steady. sent23: the fact that the sackbut is an external and does not urinate is not correct if it does not nurse nanomia.
void -> assump1: Let's assume that the liverwurst steadies.; sent20 & assump1 -> int1: that the liverwurst is a kind of an innocent and is steady is not wrong.; int1 -> int2: something is an innocent and it is not unsteady.; int2 & sent3 -> int3: the sackbut is not a boiler.; sent14 -> int4: the sackbut is a boiler if that it is a kind of an external that does not urinate is incorrect.; sent2 & sent21 -> int5: the sackbut does not nurse nanomia.; sent23 & int5 -> int6: the fact that the sackbut is an external but it does not urinate does not hold.; int4 & int6 -> int7: the sackbut is a boiler.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the liverwurst does not steady.; int9 & sent22 -> int10: the rudapithecus is a kind of temperate thing that does not steady.; sent17 -> int11: the rudapithecus is a kind of a Lilliputian if it is a kind of temperate thing that is not steady.; int10 & int11 -> hypothesis;
the rudapithecus is not a Lilliputian.
$hypothesis$ = the rudapithecus is not a Lilliputian. ; $context$ = sent1: the rudapithecus is a Lilliputian if it is temperate and steadies. sent2: there is something such that the fact that it is not a costumed and it is a moonwalk does not hold. sent3: the sackbut is not a boiler if something is an innocent and it steadies. sent4: something is steady. sent5: if there is something such that it is not a moonwalk the sackbut does not nurse nanomia. sent6: the fact that the liverwurst is not unsteady but it is not temperate does not hold. sent7: something is not a kind of a costumed but it is a moonwalk. sent8: the fact that if the sackbut is not steady that the sackbut is an external and does not urinate is incorrect is not incorrect. sent9: the sackbut is a boiler if it is not a kind of an external. sent10: there is something such that the fact that it is a costumed and it is a moonwalk is false. sent11: the plasmablast is a kind of a schoolmaster but it is not temperate. sent12: there exists something such that the fact that it is both not rayless and a Labourite is not right. sent13: the rudapithecus is not steady. sent14: that something is a kind of a boiler if that it is external and does not urinate does not hold hold. sent15: the sackbut is steady and it is an external. sent16: the rudapithecus does not urinate if a boiler is Lilliputian. sent17: if something is temperate and is not steady then it is a Lilliputian. sent18: if that that the liverwurst is either steady or Lilliputian or both does not hold is right the rudapithecus is not Lilliputian. sent19: if something is not an external then it is a kind of a boiler. sent20: the liverwurst is an innocent. sent21: if there is something such that the fact that it is not a costumed but a moonwalk is wrong the sackbut does not nurse nanomia. sent22: if the fact that the liverwurst is not steady is correct then the rudapithecus is temperate but it is not steady. sent23: the fact that the sackbut is an external and does not urinate is not correct if it does not nurse nanomia. ; $proof$ = 
void -> assump1: Let's assume that the liverwurst steadies.; sent20 & assump1 -> int1: that the liverwurst is a kind of an innocent and is steady is not wrong.; int1 -> int2: something is an innocent and it is not unsteady.; int2 & sent3 -> int3: the sackbut is not a boiler.; sent14 -> int4: the sackbut is a boiler if that it is a kind of an external that does not urinate is incorrect.; sent2 & sent21 -> int5: the sackbut does not nurse nanomia.; sent23 & int5 -> int6: the fact that the sackbut is an external but it does not urinate does not hold.; int4 & int6 -> int7: the sackbut is a boiler.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the liverwurst does not steady.; int9 & sent22 -> int10: the rudapithecus is a kind of temperate thing that does not steady.; sent17 -> int11: the rudapithecus is a kind of a Lilliputian if it is a kind of temperate thing that is not steady.; int10 & int11 -> hypothesis; __DISPROVED__